#HTML 1 hashtag

Well, this was long overdue. A while ago already, I implemented "active menu entry marking" (the active menu item is highlighted) in my tweaks and scripts around #stagit via #javascript. This was the only JS in stagit-scripts.

Obviously, because it's all static files, this was not really necessary. So finally the active-entry marking is pre-processed now upon re-generating the #HTML files with fairly simple regex: https://src.jayvii.de/pub/stagit-scripts/commit/3a0908d57956db2c0ba114b6b9ea523aced694c0.html