Manpages of bochs in Debian trixie