[ImgBot] Optimize images#13

imgbot[bot] wants to merge 4 commits intomainkreut/libretext:mainfrom

imgbotkreut/libretext:imgbotCopy head branch name to clipboard