I've even found some in 5k, although they don't play back hardly at all. Performance not there yet.
That should be markedly better in Firefox 67, since we've just now switched to dav1d, a much more efficient decoder by the VideoLAN folks. Prior to that, we were using the reference implementation from libaom.