Several images exist in multiple formats in our repo, for example docs/src/hal/images/stepgen-type2-4.*
There should be only one version in the repo, in an open, editable format, and it should be converted by software as needed for inclusion in the docs (if the native format does not suffice).
I'm not sure what the native format should be. SVG maybe?