Must have option to download video of the animation in mp4 format.
Geogebra has given option to download the file in so many formats, but none that is useful to general public. There's an option to download in 3D print format: who uses that; maybe 1 in ten thousand. But there is no option to download the animation in video format(in mp4) which most of the people using geogebra could use. There's an option to export in gif format, but it takes days for the export to be completed, if the file is even slightly complex. Screen recording the animation is not helpful either, as it produces jittery videos.
It is my sincere request, as sincere as it could be humanly possible, to include an option to export the animation in video format(in mp4).