How to remove xul-ext-colorediffs from Debian 9 (Stretch)