Thanks, Tristan.  I didn't know about the releases page.  Will add to that in a couple of days when my nose is above water. 
That said, I think it's good to have this kind of metadata redundantly in the file, so that we are not critically dependent on github.com and on having access to the internet when we're working / thinking about the scripting.