How to remove k3b-extrathemes from Debian 9 (Stretch)