Editing MNG files

In tdebase/kicker/data/kickoff, are image files that need branding updates: kmenu_active.png kmenu_basic.mng kmenu_flipped.mng kmenu_vertical.mng I updated kmenu_active.png (GIT hash d4e6607ad6a9bfc49f4dfeced379c136704714b1), but the other three are animated (MNG) files that I can't perform mere touch up with kolourpaint. To my knowledge no TDE apps support MNG editing (viewing yes, editing no). The only app I find for that is GIMP and I won't go there. Would somebody with some MNG skills look at updating those three MNG images? To update the logo, you should be able to grab the same from the kmenu_active.png I uploaded to GIT. Thank you ! Darrell