FIXME: These man pages are used for distro packaging using "make distro-pack-install"

(And what is it that needs fixing in that?)