In convert-to-png.sh and in convert-to-png2x.sh, implementing more robust
strategy of coming up with PNG file names.
Authored by: nerius 2023-03-28
Parent: [r276]
Child: [r278]
