Ja, PNG är ett mycket smartare val tycker jag också. PDF "lider" av att det är mer tänkt för allmäna digitala dokument med grafik i bitmap form och vectorform.
PNG är just endast för bilder och det har fullständigt stöd för alla man behöver för självdumpar i OSX - miljontals färger, alpha-kanal och oförstörande komprimering, samt att "alla" kan läsa PNG bilder (bortsätt från att Internet Explorer på Windows dissar alphan).
TIFF eller PSD vore andra val men de har sämre stöd på andra plattformar även om vi på Macen, speciellt i OSX, väldigt bra stöd för alla tre ovan nämnda format.
Tror dock det finns en inställning för detta via terminalen eller tredjeparts-program.
Det som vore grymt är just om man kunde ta "upplösningsobereonde" skärmdumpar i OSX. Då hade PDF varit ett vettigt val. Text osv skulle kunna vara vectorbaserad.