Manpages of openjdk-22-jdk-headless in Debian unstable