I wouldn’t know, I haven’t watched a single football match since 2018. As for short stoppage time, football use to have much less than, say, rugby. Was it different this year?