人生は、コンピュータと本と音楽からできている。: Gmailのタイトルを書き換える

Gmailに届いたメールのタイトルを書き換える拡張機能。実際には書き換えるのではなく、書き換えたように見せる機能だと思う。機能的には悪くないんだが、書き換えた後、必ずページごとリロードするのがうっとうしい。残念。

…と思ったが、よく考えてみたら、そんなに頻繁に使うわけではないので、入れておくことにした。