Ci sono anche alcuni file con estensione .pgf
Qualcuno ne sa qualcosa?