Manpages of miredo in Debian wheezy