to just "OpenBSD": that's the obvious thing to do, no idea why i didn't do it long ago. So far, man(7) had no default at all, and the "OpenBSD ports" used by mdoc(7) no longer makes sense because only about 25 ports use groff nowadays, and none of those use mdoc(7). This change is also simplifies groff-mandoc comparisons.