I'm glad to see mrangel's older improvements are availabe somewhere other than this forum.
Their newer improvements are here!
I don't know how to work with github. Any kind volunteers?
Can we please get the heading in this version to change from "5.1.3" to "5.1.4"? I've tried changing the autogenerated "index.html", but it goes back to saying "5.1.3" when I publish.
Could somebody put these CSS explanatory notes into github?