元の記事：「 « Google日本語入力利用時にマッシュルーム拡張を使いたければ「マッシュドアー」や「マッシュルームシーケンサー」を使おう」