php-horde-Horde-Text-Filter: cleanups