You do want to convert an SVG to GIF to leverage GIF format’s widespread browser support and animation capabilities. GIF are a very old image format for which it is supported in almost all web browsers and operating systems. https://rabbitloader.com/tools/image-conversion/svg-to-gif