Looks like @josegregori hasn't received any replies!