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