Robuta

https://manpages.ubuntu.com/manpages/resolute/man8/mandocd.8.html Ubuntu Manpage: mandocd - server process to format manual pages in batch mode server process to format manual pages in batch mode