How to remove libjs-jquery-ui-theme-mint-choc from Debian Unstable (Sid)