Tidy options fixed

Hi,

today I had some Xojo developer in my website chat.
With a problem using some tidy options.

But the Xojo developer forgot to tell me name or email.
So how to tell him about the fix?

Next plugins will have Tidy Option properties rebuild with more options and this bug fixed.