Huh. So, according to the other comments, if they'd set the `accepts` on their form to MIME types instead of extensions, the browser would have converted the file to a JPG automatically.
[1] https://developer.mozilla.org/en-US/docs/Web/HTML/Element/in...