@Baba They're the Olympic Production credits that ran after closing ceremonies. We were told they weren't going to do that this year, but they apparently relented.