How to remove php-tidy from Debian Unstable (Sid)