How to remove singular-dev-doc from Debian 9 (Stretch)