mozdev.org - platypus: indexはFirefoxのエクステンション。最近はサーバから受け取ったhtmlのdomを動的に書き換えるgreasemonkeyが話題ですが，greasemonkeyはスクリプトが必要でした。platypus（プラティパス）は対話的にhtmlを書き換えることを可能にし…