いつからか使えなくなったgethtmldat.js使えるようにする方法なんてあったんだな
4.20のおかげでいいこと知った