Jim- I think I've sent a pull request? I'm still a bit new with the whole git way of life. I'm not expecting you to do anything with it straight away, even if just because the button icon changes will be controversial
.
If anyone else wants to have a look, what's changed is
here.