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