Google Docs tweak makes comments much easier to handle