I don't know where [@Whimsley] is. I do remember seeing him online a few days ago, perhaps he's just really busy..