IDE 1.8.0 Released -- update: 1.8.10

Yes, there is something definitely wrong with the font in the IDE. Much harder to read than previous.
Windows 10 64 bit if that matters.