I am sure the Google Docs developers would find your observation incredibly valuable.