TiddlersBarPlugin 1.3.7  — tab tiddler identification changed to a more future-proof one