SinglePageHistoryPlugin v.0.7.2 — fixed severe bug with chkOpenDefaultOnEmpty

— fixed bug where tiddlers would not open anymore thanks to an infinite
loop on opening an closing the default

— also, when in single-page-mode the open-all button in the tag popup is
removed and the "open tag xyz" button placed at the top

— if you desperately need "open all", CTRL-click on the tag and then hit
"open all" as you are used to