タブをダブルクリックで閉じるのはuserscriptつかってる
userchromeJSはうまく乗り換えられたみたいだ