doc: man page versions that work around groff bug