php-horde-Horde-Text-Filter: remove non-free stuff