http://twitter.com/snj14/status/1070577197ということで、サーバに悪いことらしい。うーん。どうすればいいのか。 結局 代替SITEINFOデータベースを公開してくれる方々おられるので、そちらのほうに、SITEINFO_IMPORT_URLS を書き換えることで対処しました…

困ったなー、とか思いつつ、最初にやろうとしたのが、pref.js からキャッシュをコピーしてきて、\\\\" を " に直したりとか \" を ' に直したりとか、そんな整形をいっぱいして、autopagerize.user.js に貼り付けようとして、めんどくさいなぁ、とか思ってた…