How to remove geany-plugin-devhelp from Debian 9 (Stretch)