Manpages of openjdk-22-jre-headless in Debian testing