A few years ago, I had to tell someone to convert some pictures since they took them in .heic and being able to see them wasn't standard. Their response was to manually change the file extension on each of hundreds of files from .heic to .jpeg.