How to remove gedit-plugins from Debian 9 (Stretch)