That userscript is amazing, I can’t believe I only learned about it (and the concept in general) recently.