Nope, it's not news, but there are issues. There are quite a number of 4k streams encoded with h264, and the 4k doesn't play them. Same story for VP9.
I'm aware that this is a fairly old topic, but I was wondering which providers have ever used H.264 to encode 4K streams. I've never came across one myself, but that doesn't mean they didn't/don't exist. Bandwidth was/is precious and using H.264 to encode 4K content is just bollocks.
VP9 is a different story, but that's not even part of any DVB standard, so I'm not surprised that most set-top boxes didn't/won't play that. VP9 has been a big flop btw and there weren't that many adopters, except for YouTube. But since YouTube is owned by Google (VP9's inventor), that's no surprise. The next codec evolution will be AV1, which is already being used by YouTube and Netflix and many other will follow. I'm curious if that will be used by regular (satellite/cable) providers in the future.
PS. For non classic DVB purposes, you're better off buying a streamer such as an Nvidia Shield TV Pro or Fire TV Stick 4K MAX.