2016-02-05, 17:03 (This post was last modified: 2016-02-05, 17:12 by BobCratchett.)
Thanks for the bug report Alanon. I've added it to the to-do list, and will try to push a fix for it this evening. Edit:- ignore that, was (hopefully!) the nice easy fix I've just pushed.