lower the JPEG quality of some of the biggest graphics without losing visual quality (#6761)

some were exported with 100% jpeg quality, some were scaled up from the original by just a little bit and then also saved at 100% quality (wat), others had a seemingly not too excessive quality (90%) but somehow on re-export to JPEG they still ended up a good portion smaller in filesize =_O

Author: westnordost