How to remove libgdl-3-doc from Debian 9 (Stretch)