As mentioned before: I did my thing again. I kept only the videos I think are worth keeping, interpolated (if necessary) and reencoded them (AV1, 1080p, 60FPS), normalized and renamed them all.
This results in 19 videos of just about 645 MiB.
You must be registered to see the links