s20200821
doc: Use namespace correctly
clockdiff: add --time-format option
build-sys: disable manual builds when xsltproc does not work
doc/ping: Document decimal separator changes
doc: Proofreading rarpd.xml
doc: Proofreading rdisc.xml
doc: Proofreading tracepath.xml