Yes, this function is coming - they even have to be exported within 30 days, because after that they will be deleted!
As bbbserver.de says: "Unfortunately, however, it has turned out to be technically extremely complicated to offer the recordings in a "normal" format. They first have to be converted at great expense, etc.. Therefore: The function will be available in the next few weeks. Until then, of course, no recordings will be deleted."
Major platform update at bbbserver:
- Recordings can now be downloaded as .mp4 files.