Google ReaderにLDR風のピン機能を追加する

Google ReaderにLivedoor Reader風のピン機能を追加するGreaseMonkey
http://www.forever5yearsold.net/archives/1
がOperaでやっぱり動かなかったので動くようにパッチを送ったら
作者様が反映してくださった。嬉しかったので紹介します。
作者様ありがとう。

前回、OperaでGoogle Readerに被はてブを表示するUserJSを
公開したけど思っていた以上に反応が少なかった。
OperaユーザでGoogle Readerユーザって
ものすごいマイノリティなんだろうな。