Looks like @darkforest hasn't received any replies yet!