Google Chromeには個人情報を同期する機能があって，Gmailのアカウントでログインすると，ブックマークとか，履歴とかを複数のコンピュータで同期してくれる． .user.jsみたいなファイルを開くと，User Scriptとしてインストールされるが，これは上の仕組み…