he did however decide to use a font which gives off comic sans vibes, which is a very interesting choice for an otherwise very barebones setup :D
some of the openbsd folks use it as a weapon in the fight to prioritize content over presentation. i got a chuckle out of it and it convinced me to stop thoughtlessly hating on comic sans, easy as it is.
you know what, you're right. i'm setting my terminal to this right now, haha: https://dtinth.github.io/comic-mono-font/
you're thinking about 'Samsung Choco Cookie' :) only know this because someone i know has this set on their phone, and looking at their screen really irritates me for some reason.