Also "Live At Pompeii"[0] (although to my disappointment, it's the cinema version with the DSOTM studio clips - my original experience was the Laserdisc and VHS versions which omitted those because IMO they're not interesting and just get in the way. I'd probably watch "Pink Floyd: DSOTM: BTS" as a standalone thing but it has no place, for me, in "Live At Pompeii".)
[0] https://superdeluxeedition.com/news/pink-floyd-at-pompeii-mc...