Manpages of miri-sdr in Debian stretch