Manpages of debian-edu-artwork-ceratopsian in Debian trixie