4 ms·gifv isn't a file format, just an extension for an html documentby cyborgx7 10y agogifv isn't a file format, just an extension for an html documentangus-prune 10y agoI meant file extension. My bad.