On Mon Oct 13 19:58:04 BST 2014, dinkypumpkin wrote: > Git HEAD has been updated again, > for anyone keeping score. There have been eleven (!) commits pushed to the git repo during the last 4 days. Many thanks for your unwavering support of GiP :-) V.