Ability to make competition match animations persistent

[ad-daniel]

My understanding is that currently the animations visible in the leaderboard are temporary, meaning when a new run occurs the existing one gets deleted. To keep the interest high and/or gather more attention to the competition we might want to semi-regularly publish interesting matches elsewhere (twitter, discord, linkedin, ...) so it would be nice if there was an option somewhere (just for admins or open to anybody) that would save the animation. By that I mean the animation files should be uploaded to the "animations" tab so that a permanent link to it persists that we can share.

[omichel]

Nothing is never deleted on git. The old animations are still there and we can access them from their commit sha.
However, I am not sure what kind of online user interface do we want to provide to visualize these old animations.

[omichel]

A simple possibility would be to simply tag them and add them as webots.cloud animations using their tag.