See https://enselic.github.io/recordmydesktop/
