(20-05-2020, 02:00 PM)jkl Wrote: (I recommend to play it with 0.5x speed.)

(22-05-2020, 06:30 AM)zge Wrote: For some reason the recording was sped-up, so it seems like I'm a fast, even though I'm not really. So consider dereasing the playback speed

At least my system (i7-3770 from 2013) is too slow for the recommended ffmpeg call. Lot of frames were dropped, final video was sped up. That's why I recorded using ffmpeg's defaults (ffmpeg -y -video_size 1280x1024 -framerate 25 -f x11grab -i ... output.mp4) and then created a webm afterwards.