This message is for the Austin-based people, others can stop reading.
I happen to be in town (Austin) tonight, and I had planned to work, but
got enough done that I can prioritize other things. So, who's up for a
beer? I don't want to go to bed too late, because I am flying out
tomorrow, but an early beer would be great.