Recording the screen is probably not the way to go anyway because then in order to export it the user needs to sit through the whole animation again and is unable to do anything else while its happening. Meanwhile, any lag and notifications will ruin the recording.
Assuming there is indeed no way to get the example working on android but it is possible on the pc. maybe a companion program on the computer that is able to export the animations?
Alternatively you can setup a server that is able to take in the data from the animation and create .mp4 files. If you do this you could use this to directly have a place to share animations meaning that users can just click a “share” button and their animation gets uploaded to your server for all to see. Which seems a lot easier than to click “export” then go to youtube, find the animation and upload it.