How to remove php-finder-facade-doc from Debian 9 (Stretch)