10/07/20 22:27:58 f+8rLPcZ0
>>888,889
レスどうも。
いい機会だからusercontent.jsからグリモンに変えようかと思っていたんだけど、userscriptloaderなんてもんもあるのね。
グリモンは遅いってイメージがあったから、ずっと避けていたんだけどどうなんだろう？
10/07/20 22:27:58 f+8rLPcZ0
>>888,889
レスどうも。
いい機会だからusercontent.jsからグリモンに変えようかと思っていたんだけど、userscriptloaderなんてもんもあるのね。
グリモンは遅いってイメージがあったから、ずっと避けていたんだけどどうなんだろう？