Chrome Extensionの内部からオプション・ページを開く

Chrome Extensionの内部に設定ボタンをつくったり、あるいは初回に起動したときに、オプション・ページ（options.html）をタブに表示するには、次のようにして拡張機能の内部からオプション・ページを開けば良い。