How to remove education-main-server from Debian Unstable (Sid)