Yeah, thanks for the reminder. That page was put up a while ago. Comments = email; that site is just plain old static HTML + 6 lines of awk to shove in the stu

Yeah, thanks for the reminder. That page was put up a while ago. Comments = email; that site is just plain old static HTML + 6 lines of awk to shove in the stuff that gets duplicated across pages (navbars, etc). I can't be arsed to do more. I'll be replacing the -'s later on today, I think. (It's a pity. I never liked the programmable bash completion all that much; I really preferred git-blah.) edit: fixed the deprecated git-foo commands