Manpages of irsim in Debian trixie