I actually think this is a good idea. We don't need to change every single format, just modify the comments for the Jpeg format to state this is the format .jpg files will show by default, not Jpg. Useful knowledge that pops up when you're looking for it.
Happy to make the change if you want.
Happy to make the change if you want.