TiddlersBarPlugin v.1.3.2 — renamed back to original

I don't think Pascal Collin is maintaining this any time soon, so...