Manpages of registry-tools in Debian stretch