Manpages of miri-sdr in Debian wheezy-backports