News for hackers. Stuff that matters.
Re:The end of the nice GTK button by chipotle_coyote on Friday March 25, 2022 @01:52PM (#30805200)
Yes, that was the in-joke. :) They're among my favorite typefaces (as is his newer Century Supra).

There are no comments on this comment yet.