True, but it's much more than that.
- The mentioned guys were the most prominent BIP110 preachers and Ocean decision-makers at the same time.
- Ocean as an entity publicly endorsed BIP110. Ocean was the only substantial entity mentioned as a supporting entity with some economic power.
https://x.com/ocean_mining/status/1731017405424456105
https://x.com/ocean_mining/status/2074825828731342880
- For a period Ocean switched non-Datum users to BIP110 without permission and prior communication (non-Datum users are the minority, but still)
https://x.com/ocean_mining/status/2086623170883399921 & https://archive.is/BfYDd
It's true that template-controlling Ocean miners decided for themselves if they mined BIP110 or legacy, and most miners use Datum, but as mentioned, Ocean itself was very committed to BIP110.
Links are from nprofile1qqs0w2xeumnsfq6cuuynpaw2vjcfwacdnzwvmp59flnp3mdfez3czpsr8esw5 (nprofile…esw5) 's comprehensive post-mortem (kudos!) https://blog.lopp.net/bip-110-post-mortem/