It's definitely mimed.
Which is a shame. Its still very good, but I'd have much rather heard a 'live' version.
(, Tue 8 Feb 2022, 20:09, Reply)
It's much like a music video in that regard
There's no way the audio would sound that good if it was being recorded as you see them there. The bass chap in particular wouldn't have the same impact, a lot of the bottom end* stems from the proximity effect of a close mic.
*Hur hur
(, Wed 9 Feb 2022, 9:06, Reply)