Aside: I'll be visiting Berkeley in early June (arriving late 6/2 and leaving 6/7, iirc). Most of the trip will be for family stuff (cousin's 90th birthday is Monday), but I might be able to get away for an evening. Any chance of meeting you and/or other fen?