About tools used to build this screencast

- Record screens:

  - Record computer screen: Integrated Gnome screen recorder (Ctrl+Alt+Shift+R).
  - Record phone screen (on my outdated Android phone): `adb shell screenrecord /sdcard/screen.mp4`

- Video editing: OpenShot

- Video conversion:

  - mp4 to gif: ffmpeg -i screencast.mp4 screencast.gif
  - compress gif: `gifsicle screencast.gif  --lossy --optimize=3 -k 128 -o compressed.gif`
