How to remove debian-edu-doc-en from Debian 9 (Stretch)