Manpages of src:themole in Debian testing