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