[JoachimSchipper]

This is a revisit of five-year old gripes; Google didn't do that five years ago.

But yes, it's annoying.