Oh, I see. Same video, but faster:

https://dump.uninformativ.de/v/1af132f0b...faster.mp4 (10 MB)
https://dump.uninformativ.de/v/1af132f0b...aster.webm (70 MB)

(Again, will auto-delete in a year.)

It's indeed a bit more pleasent to watch. :-) Although, I think it's also nice if you get a feeling for how fast someone really is. Not that I try to be as fast as possible, but it's still interesting.

Still no idea, why my webm is so huge, but yeah.