Resurfacing this discussion as @djtonyz and @majick777 have recently released this WordPress plugin that includes a sticky audio player (in addition to a ton of other features) https://radiostation.pro/
With LibreTime integration on the roadmap (and a free trial currently happening), it might be a great time to try if you’re using WordPress to power your site.