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