If you’ve ever had to change a file from one format to another, you probably know the drill: type “convert [file type] to [file type]” into Google, click the first sketchy-looking site, and hope it ...