バージョン1.0.7のリリースを受けて，各種拡張プラグインと併せて自動アップデートを行ったところ，Web Developerが躓いたようだ．起動オプション-safe-modeを用いて起動し，削除した．再度インストールを試みようと，配布元のサイトを訪ねるとアップデート…