@heydon Thanks!Two caveats.1. It has no programming ligatures. I don't like them, and unless that somehow changes I'm not going to put in the work to make them.2. Some font renderers seem to do very poorly with the rounded terminals, particularly on low-resolution displays. I like those a lot (they give that wonderful 1970s-computer-typography vibe), but I might make a version with straight terminals later.