kellyaster

What OS & version are you using that automatically converts file types when you change the filename via the default file manager interface? I have never heard of this function before.

you can just manually change the extension to “.jpeg” or “.png” and Windows/Linux/Android file managers will automatically convert it

Thank you for the suggestion, but that’s not how it works. Changing a file’s extension doesn’t change the file type; it just changes the name.

Bah, no sign of “Save webP as PNG or JPEG” yet.