因此，我想从YouTube视频中下载.mp3文件。但是YT仅提供.mp4文件（afaik）。
因此，我必须将视频转换为.mp3文件。但是我不想下载视频并在设备上进行转换，因为它占用了太多数据。
HERE已经提到它有一个API。可惜它不再起作用了。
我现在发现的是：https://youtube7.download/mini.php?id=HY_OIwideLg
但是它们异步加载.mp3链接（我需要）。所以我不能简单地做URLSession.shared.dataTask(with:)，因为我只会得到“正在加载”页面，没有链接...
问题是：如何获得从此php脚本返回的最终加载的html网站？