Comment by rob

I agree, don't set the default font size to ~12px equiv in 2025.