How to install libjs-extjs-doc on Debian 9 (Stretch)