On-line GIF to MP4 converter. I've been utilizing file compression and music archiving software program since the fashionable music fire sale that came together with file-sharing sites like Napster in the mid-'90s. That phenomenon taught m…