[tyrust]

>Simple tech literacy was missing in the 1% of students that failed this test through their HEIC submissions. Even though I acknowledge the panic of a weird circumstance during an important test, editing the extension in file explorer is just too far from logical.

I don't think this is a fair statement. Image file formats are something that very few people need to think about these days. As another commenter pointed out, why wouldn't changing the extension trigger the OS to convert the file? It was worth a try.

Not everyone needs to be an expert in everything.

[MattGaiser]

> why wouldn't changing the extension trigger the OS to convert the file?

If you change the extension on any operating system and then open it in the image viewer, it does appear to work. It doesn't as image viewers do not trust the file extension and ignore it, but there is no indication of that to the average user.

[cesarb]

> image viewers do not trust the file extension and ignore it

Not all of them; for instance, if I rename a .jpg to a .png exension and try to open it with Gnome's EOG, it presents an error saying "Not a PNG file", instead of showing the image.

[WillDaSilva]

A behaviour which I'm quite fond of, as it allows me to fix the file extensions. I generally don't like relying on the file extension for information, but it helps me keep my media collection clean in this case. It'd be ideal if it displayed the image anyway, while also displaying a warning message that says the extension doesn't match the actual file type.