How to remove education-desktop-other from Debian 9 (Stretch)