That's oddly superior/hostile. I was vaguely familiar with the format as the choice on recent versions of iOS. Now I know HEIF is a container, and HEIC files indicate that the codec is HEVC. And I know it's part of MPEG and, to my surprise, is more efficient than JPEG. And it made me think, are there generalizable cases where JPEG still wins? Maybe I'll look into it. And all that from a few seconds. I appreciate the submitter.

Edit: And now I'm learning things from other commenters who have been inspired to provide interesting tidbits they know about HEIF!

You should email the site mods about this viewpoint, with a link to your comment; I think they’d be interested to hear your case, and they have the tools to do this readily available if they agree with you. Or they may have context for how links like this could be of interest, or why they aren’t automodded, or etc. (Use the contact link in the footer if you’re interested.)