Looks like @mathlovett hasn't received any replies!