When approaching a fix to this bug, don't forget to try multiple DPI settings for the font renderer (don't change just the font size).
When approaching a fix to this bug, don't forget to try multiple DPI settings for the font renderer (don't change just the font size).