Not sure if relevant, but RPi4 dropped HW decode for MPEG2 and VC1, I believe. Not a problem if things are in the right format (HEVC, H264), but something to possibly keep in mind.
ETA: I would also look at the HDMI CEC support of the software. I assume it will Just Work, but might search around to verify. (CEC is really useful IMHO but if your usage doesn’t involve the TV remote at all then maybe doesn’t matter much… though power on/input selection still could be nice.)