I did my thing again. I kept only the videos I think are worth keeping and reencoded them (AV1, 1080p, 60FPS*), normalized and renamed them all.
This results in 41 videos of about 930 MiB.
You must be registered to see the links
* a lot of videos already had 60 FPS, but they were interpolated with a method that's not so great. Nothing I can do about that.