Manpages of src:mccode in Debian testing