php-pear-Text_Diff can optionally use PHP extension "xdiff"
