Looks like @darkforest hasn't posted yet!