Ah, OK, maybe someone else will find them useful. I mostly use my own converter, not very advanced - it just makes a 1:1 pixel conversion.
