Tiddlywiki5: HighlightPlugin broken on current master

[tobibeer]

2015-11-26: Looking at it on the current prerelease does not show the broken behaviour.

How to reproduce:

1. using the master as of https://github.com/Jermolene/TiddlyWiki5/commit/4a8511c6f21ed0123bf790e668f153db75618bce
   
   
   
   • this is unrelated to this commit, it just serves as a pointer to where things don't work
   
   
2. build / serve the highlightdemo edition
3. take a look at some js tiddler, e.g. $:/core/modules/commands/help.js

[sycom]

I think this one can be closed?