In the Windows build only, checking bold in the Fonts and Colors section of Preferences does not change the display, that is, the text is not bold.