@ixtab & @twobob: stepk mentioned in the issue tracker he planned to review the changes a bit before merging to master, and that he would be back sometime in August.
That said, I'm all for a merge & release, of course, but I don't want to step on anyone's toes...
.
Technically, the part that worries me the most is the ugly way I handled counting the extra quit/toRoot button at the end of a page, but the rest should be trivial/sane enough
.
When you do release, don't hesitate to ping me so that I can sum up my changes for the changelog
[EDIT: done]