I did my thing again. I kept only the videos I think are worth keeping (no furry stuff, that's not for me), I interpolated and reencoded (AV1, 1080p, 60FPS) and normalized (the ones with sound) and renamed the videos. This results in 84 video files of about 410 MiB.
Enjoy!