How to remove ripe-atlas-tools-doc from Debian 9 (Stretch)