https://en.wikipedia.org/wiki/H.264/MPEG-4_AVC_products_and_implementations dit que le high profile est supporté depuis environ 2012 sur les smartphones Android.
Pourtant
https://developer.android.com/guide/topics/media/media-formats#video-codecs ne ne parle que des profils baseline et main.
Le premier Raspberry Pi supportait le high profile jusqu'au level 4.1.
Sur des flux 480p et 540p, je peux comprendre qu'ils privilégient peut-être la compatibilité.
Mais même en 1080p, le H264 est toujours en main profile !
A titre de comparaison, sur YouTube les flux H264 sont en aussi en main profile jusqu'au 480p, mais en high profile à partir du 720p.
Dans Edge, l'onglet CDM de edge://media-internals confirme que dans mon cas (RTX2070), le PlayReady Hardware n'est supporté qu'en H264 et HEVC (donc le VP9 peut être décodé en HW, mais uniquement sans DRM), je ne sais pas d'où vient cette limitation.
Donc en pratique sous Windows quand la 4K n'est pas disponible (à cause des DRM, de l'abonnement, ou du contenu), on a le choix entre 720p en VP9 ou AV1, et 1080p en H264 main profile...