Manpages of openjdk-18-jre-headless in Debian unstable