Shame there’s nothing similar for video airplay. I needed to add airplay to an old/cheap dumb tv just for apple fitness in my partner’s workout room, and the only cost-sensible thing was an ad-infested roku device.
I had a 3rd gen Apple TV, but it had grown nearly unusably buggy. Still-supported apps would randomly crash or fail to stream, AirPlay would randomly fail entirely or fail to play video, streams/AirPlay would randomly stop, various operations would randomly take minutes to complete or time out.