https://wwtyrd.com/tech/nicola/convert-videos-into-gifs-on-pc-and-android/