>>527413482
If you mean my own obnoxiously large MangoHud configuration with font_size=32, I've had it at that size for quite a while, but you might have looked smaller on screenshots of full-screen games.