> Thus it doesn't just add a html extension to
> extensionless files it in fact adds html.html to
> them.  Seems to be a bug in there somewhere.

Yes, you're right that sounds like a bug :)

However it could work to your advantage if you used a batch file renaming tool
to simply replace "html.html" to nothing.