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