Have you tried any of the HTML formatters you mentioned above yet?

Personally I think HTML tidy is pretty cool, but you will just have to experiment and see which one of the tools gives the best results.