The roof of a dome stadium was partly open today. It looks comfortable taking in fresh air (with a quite bit of PM2.5 dust).