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