How to remove dogtag-pki-server-theme from Debian Unstable (Sid)