Hi Erwin,
Normally I just untick the box „use RPI display“ in the Raspberry Pi menu. Then all the images go to my HDMI monitor, and I can watch a movie there. After finishing the movie I tick „Use RPI display“ again and everything moves to the small display…
However, I think this is too much work for my family, so I’d prefer to find another way.