Omdanning af gif til png

Som mange andre er jeg også ret generet af den manglende understøttelse af gif-billeder i gdlib. Det kan der jo ikke gøres noget ved før patenterne udløber osv., men hvad kan man gøre indtil da, hvis man ikke kan komme udenom gif-billederne?

Mit konkrete problem er at jeg skal lave noget ordentlig billedhåndtering til et site, hvis brugere absolut intet forstår af filformater. Man kan altså ikke fortælle dem at de skal skaffe et program, der kan omdanne gif til png - det skal ske automatisk.

Og det er så spørgsmålet: Kan man på nogen måde omdanne gif til png direkte med php og eventuelt nogle plugins? Pointen er altså at det skal foregå serverside.

På forhånd tak
seek