How to remove xotcl-doc from Debian 9 (Stretch)