さらにさらにさらに追記：最新版は /lang/javascript/userscripts/autopageloader.user.js – CodeRepos::Share – Trac ですさらにさらに追記：addDocumentFilter実装しました。 AutoPagerizeのとは少し違って、contentDocumentを渡しているだけなのでgetElem…

AutoPageLoaderというGreasemonkeyスクリプトをつくりました。