37fa36f In the process of fixing up the key stuff, my OCD started to twitch at the sheer profusion of ways in which we execute scripts. Sometimes with any shell in the path, sometimes with /bin/sh explicitly (better), sometimes with no shell at all, hoping that nobody has smashed the execute permissions on the scripts in the repo. It makes no functional difference, but GAH. Make them all THE SAME. My OCD feels better now. Thank you for listening. Same time next Wednesday?
...
cc59f8f Gah, what is this, python? Fix smashed tab that got converted to spaces (sigh)
...
ee82243 God, I suck. Not CHANGLOG, CHANGELOG!!!
