http://www.mkbhru.com/2023/02/optimize-gif-using-command-line-linux.html