I've been having trouble finding time and energy to keep track of GHC steering committee stuff of late, so it's probably best if my place was assigned to someone else. I'll still be around of course, given that my work with Obsidian has me doing GHC development right now, but it's hard to do that, and then also find spare time for this. Thanks! - Cale