Manpages of drmips in Debian unstable