Thanks. It actually installs fine on Debian using the packaging system. And I was able to use and configure it. The issues are:
- The version in Debian is old.
- An update does not appear to be happening I think due to the fork of tidy. It makes it very messy and until someone really screams it won't happen. I am in the relevant group and I won't volunteer.
- I could not configure it to change "<span>blah</span>" to "blah". Saying that tidy is not intended to do that is reasonable, but I want it to do that. Javascript rich text editors generate stuff that one does not necessarily want or need.