Hi Emilio, > I don't think there is any > problem in removing the old src:tidy and let the new tidy-html5 > take over the binaries.
Thanks, this was due to an upstream name change, the Tidy project is now hosted at https://github.com/htacg/tidy-html5/ The original maintainer of tidy in Debian, Jason Thomas, is now contributing to the tidy-html5 package in collab-maint: http://anonscm.debian.org/cgit/collab-maint/tidy-html5.git/ Cheers! Daniel