GIF → MP4

动图 GIF 早已过时。MP4 用极少的字节承载同样的动画，在任何平台都能播放，也更省电。