IDE: images: regenerate png according to latest changes in SVG
wxPython4
2022-07-30, Edouard Tisserant