This includes the fix for the “Counterfeit Monkey has fuzzy graphics on high-DPI displays” bug.
It also adds a teeny convenience feature: if a long output causes MORE paging, there will be a mark in the right margin indicating where the output began.
Various customization hooks that I added while developing the Hadean Lands app.