Package: php5 Version: 5.1.2-1 Severity: wishlist Yet another extension request... :-) In PHP5 the HTML Tidy extension was merged into the main php distribution and is no longer separately installable from PECL. Please package this extension! Thanks