Thank you so much for your quick response and your help.
I have seen this extension. From my understanding of the description, it's a copy of the included player that fixes a loop problem. I want to keep the app and download size reasonable. So whether the files are on the phone or moved to the SD card would not make a difference.
there is another extensoin especially for streaming Stream player (Video and Audio) Extension by Kus Zab (12 USD)
taken from the extensions directoryhttps://puravidaapps.com/extensions.php