How to remove sonic-pi-server-doc from Debian 9 (Stretch)