For years I used the XMLIndent jEdit plugin, but recently decided to try 4.3pre8 and XMLIndent was lost in the upgrade process. I switched back to 4.2, but cannot find the XMLIndent plugin anywhere -- not via the plugin manager, or searching on Google, or anywhere else.

The XMLIndent plugin was one of the best and most useful jEdit plugins for my purposes, and I'm just disconsolate that it's gone. The Beauty plugin doesn't come even close. Stupid me, should have backed up my plugins...

Anyway, does anyone have the XMLIndent plugin who could share it with me? (Am I going crazy and did this plugin actually have a different name? I've searched everywhere, though.)