How to remove gmsh-doc from Debian Unstable (Sid)