Manpages of asmc-linux in Debian trixie