The conversion from JPEG to PNG has now been done with GIMP and results in a 1.18Mb file.

This is in the repository ready for the next release...