bug

Hi -

First off, is tidy being maintained anymore?  We use it heavily in
production and would love to see some updates.

Second - have a potential bug.  We're using the php module "Extension
Version" 2.0 ($Id$) (dated 14 June 2007).  We're running on php 5.3.15. Our
php code looks like:

$tidy = new \tidy();

$updated = $tidy->repairString($content,
        array(
            'bare' => true,
            'clean' => true,
            'drop-empty-paras' => true,
            'drop-font-tags' => true,
            'join-styles' => true,
            'word-2000' => true,
            'output-xhtml' => true,
            'wrap' => 0,
            'output-bom' => false,
            'show-body-only' => true,
            'drop-proprietary-attributes' => true
        ), 'UTF8');

When I pass the content in the attached file through repairString, it
crashes.  Would love some advice.