Yep, it really seems that all that money goes into coehersion so everyone uses their proprietary format. It is hard to actually come across high quality video releases that are in AV1 - even if you prefer the loyalty free nature of AV1.

But in terms of hardware, AV1 is getting more popular. For one, it is a relatively new format.