I did my thing again, keeping just the best videos (imo) and interpolating and reencoding them (60FPS, AV1, 1080p) and normalizing and renaming them all.
This results in 18 video files of about 420 MiB.
You must be registered to see the links
PS: Some of the videos already came in 60FPS, but only by interpolation, and the method used wasn't the best. So when the videos came in 30FPS and 60FPS I always did the interpolation myself. Also a lot of the videos have duplicated frames and my de-duplication usually fails, so the videos look more chopped than they have to. It's a shame.