@HIRAM, @Hombre:
Here are the results for g7d33fc40:
With Pseudo-HiDPI mode off:
With Pseudo-HiDPI mode on:
I think it looks better with Pseudo-HiDPI mode off, the graphics are not any less sharp, and the UI is the right size.