I made an extension for the Google Chrome web browser:
Replace the Gmail web interface’s default “favicon”, displayed in the bookmarks bar and tab labels, with a prettier version.
It solves the “problem” a bit more elegantly than my previous solution.