最近のGreasemonkeyはUIがなくなったり、
また辺に追加されたり微妙に方向性があれだ。