Hmm. "ronn" doesn't get mentioned, I should make sure it does the sensible thing (because it's 2023 not 1983 and I don't expect anyone to use an obscure typeset

Hmm. "ronn" doesn't get mentioned, I should make sure it does the sensible thing (because it's 2023 not 1983 and I don't expect anyone to use an obscure typesetting-ish notation to write very stylized man pages that are almost exclusively consumed in monospace terminals...)