Yeah, you're right. It isn't as close as I thought, but what AGI-64 was previously using (all CAPS, and I don't think it was the standard C64 font) seemed quite different compared to all of those examples. I think that original font in the screenshots was a 3x7 font, designed for the double width pixels. Tbh, I'm not sure if the author ended up going with the IBM font or with the standard C64 font. I would have to take a closer look, but it is now mixed case and no longer using the 3x7 font, so certainly closer to what we see with the IBM AGI interpreter.