May 2017 on the Internet: a digest And now, a brief digest of highlights of internet activity in May 2017.