3 ms·

Perhaps a userscript exists that fixes that? Or even a browser extension? Seems like a reasonable use case for these things.