K 10 svn:author V 6 ehaupt K 8 svn:date V 27 2014-01-21T10:50:53.747136Z K 7 svn:log V 73 Rename MANn to MANPAGEn in order to avoid a 'make check-sanity' warning. END