cioè mi stai dicendo come giustamente sospettavo che includere il file gizippato stampandolo con le mie piccole righe di codice php è del tutto inutile rispetto al servire l'equivalente file.js non compresso con gzip.