How to install doc-linux-pl-html on Debian 9 (Stretch)