コンバートしたアニメーションデータはJSONで出力されますが、これが実はとても大きいです。 そのため、gzip圧縮されたJSONの展開に対応しました。ファイル名の最後に.gzまたは.gzipという拡張子を付けているとgzip圧縮とみなして展開します。 それ以外であ…