Further Reading
- bash--How do I change the extension of multiple files?: https://unix.stackexchange.com/questions/19654/how-do-i-change-the-extension-of-multiple-files
- ImageMagick.org: https://imagemagick.org/
- Getting started with ImageMagick: https://opensource.com/article/17/8/imagemagick
- Getting Started with ImageMagick: https://riptutorial.com/imagemagick
- Manipulating Images with ImageMagick Command-line Tools: https://www.baeldung.com/linux/imagemagick-edit-images
- Fred’s ImageMagick Scripts: http://www.fmwconcepts.com/imagemagick/