Looks like @darkforest hasn't received any replies!