Manpages of registry-tools in Debian experimental