I just released the code of the app for casting media on TV. It still needs enhancements but can be tested as it is. Later I will publish the app on Fdroid only. https://codeberg.org/tom79/CastLab