>>47 本来はその通りワークスペースごとに設定を保存する場所を
分けるんだけど、プラグインをインストールしている場所に設定を
保存する行儀の悪いプラグインもあり。