Manpages of x42-plugins in Debian trixie