Great idea -
I'll add a few others to the list:
Pelagic Life's Mexico Pelagico, that you can watch in full on Vimeo here:
and another one that's quite dear to me
Guardians of Raja Ampat, that you'll find in full here on YouTube:
This one's on the recent Tham Luang Thai cave rescue, seen through the eyes of rescuers Ben Reymanents and Maksym Polyjeka
13 LOST - here in full on YouTube:
And on a darker note, a documentary on Dave Shaw's final dive:
To Boldly Go, here in full on YouTube:
And on a similar note we also have
Diving into the Unknown (trailer only)
Otherwise yes, all that wild Laurent Ballesta stuff (Gombessa, sharks, groupers, saturation etc) is definitely missing from your list....
700 Sharks can be watched here in full on Viemo, but in French only I think:
Otherwise here's an interesting documentary on Han Hass
Han Hass - Man Who Discovered the Sea - here in full on Vimeo:
And a really nice memorial documentary on legendary dive guide Larry Smith:
Diving Adventures With Larry Smith, here in full on Vimeo:
Also Adrienne Gittus's documentary on shark fishing in Indonesia
A FISH FULL OF DOLLARS, in full here on Vimeo:
And more local, we have Nick Hope's epic
Reef Life of the Andaman, here in full on YouTube
Cheers!
Ben