At this point, I got fed up with the fonts I have been using, and decided it's time to find a font that I would actually like in my interface.
Let's do some research!
The font used in the menu bar and the one below are fonts for pixel games, and they look OK in games, but they have too much character for a font that is supposed to be "default" and "invisible".
Default Windows fonts have a pleasant crispiness to them, but their bold version feels a bit chopped-off.
Default Mac Classic fonts are unexpectedly tall, and, as mentioned before, mostly designed to look best in bold. Two-pixel kerning is quite a move for a 512-pixel wide display.
Finally, default FreeGEOS font. It is huge, and it is meant to be displayed in semi-bold most of the times. It is an interesting decision; perhaps, it was important for 9" Brother GeoBook laptops or something?
8/10