Hacker News Reader

It looks patched indeed:

Ah-ha, I stand corrected :)

Debian's patch is nicer, as the build process pulls the default from the man page, so: https://sources.debian.org/patches/xterm/375-1/904_fontops.d...

> the build process pulls the default from the man page

Interesting idea, but I don't think that's what happens: