To get around the problems with the RR editor, and because it's stupid to post such big sources all the time, I'm in the process of setting up a simple webserver on a Odroid-C2 lying around here and putting it on the net. Just have to secure it properly.

My next update will be downloadable from there (with your change - thanks for that!).

---