Notes: Still bummed by GIF, knowing how limiting it is (resolution, length, frame rate, color depth, mostly due to file size) compared to modern codecs (like AV1/AVIF, royalty-free, fantastic hardware and browser support, but requires more processing power). I'm not a web dev so I don't really understand why we can't have nice things yet, but I hope the day is coming soon. Update: I just found out about gifski and updated these! Gonna replace others too, at least those with horrendous frame rates. Bonus: I guess I can pick one fave and add the higher quality video (AVC HD at 24 fps)? Don't mind if I do!