How to remove open-axiom-hypertex from Debian Unstable (Sid)