Looks like @darkforest hasn't commented yet!