K 10 svn:author V 3 dim K 8 svn:date V 27 2019-12-12T23:11:55.583981Z K 7 svn:log V 193 Undo some of the &man.x.y changes, to appease the Jenkins bot. Unfortunately, I have no idea how this job finds what man pages are available, so this is just hit and miss until it shuts up... END