Manpages of pkg-php-tools in Debian trixie