I can change that, but I'm interested if anyone thinks this should be an option instead. It *seems* like it'll be a boon for everyone (smaller files, same animated gifs), but just wanna be safe. Thoughts?