Opera Dev Tools

David Storey が dev.opera に Opera developer tools という FAQ スレを立てました。
Opera の Developer Tools に入れて欲しい機能のある方は、そちらにコメントを寄せると良いでしょう。

• エントリを書いた直後にサーバがお休みになられたようで、503 だと言い張っています。そのうち復活するでしょう。
• 記憶力の良い人は、同様のリクエスト受付を以前していたことを覚えているでしょう。前任者が退社してしまったので、それをデイビッドが引き継いだためと思われます。
• サーバ猿君が復活したようだ。なのでリンクが必要な次のエントリ、行ってみよう。

参考； Opera developer tools - まずはこの辺からボタンでも入れてみてください。