Thanks for pointing this out, it is an issue we need to fix. It's because we produce so many formats (including print) that it's hard to get this exactly right, but I believe we can find a better compromise.

Seems an ideal use case for SVG.

Looks like it might be a direct PowerPoint export. They might be open to suggestions from someone who has to manage large numbers of slides/images in the context of a teaching environment.