Google Pixel: new May update brings these 5 improvements

Owners of the Google Pixel phones are getting several changes after May's update. The update, which can be downloaded since yesterday, includes a series of changes, some of which are interesting to name.