Thanks. I do find it strange that, for the 2 Apple devices that I tested with, playing a ‘remote’ file works but playing a ‘local’ file doesn’t. Given, I assume, that it’s the same video player that is serving both.
I thought it might have something to do with the remote file being fully qualified, so I gave the full path of the local file to st.video() - using os.path.abspath() - but unfortunately it didn’t make any difference.