20240117
man: Add missing xml:id in <refsection>
custom-html.xsl: Avoid mixing tabs and spaces
doc: Use namespace correctly
Remove rdisc
man/ping: Update minimal user interval in -A