Cool stuff, but I'm having a problem with the new Web Inspector... it seems to show the ungzipped file size for all files, rather than the gzipped one (which wo

Cool stuff, but I'm having a problem with the new Web Inspector... it seems to show the ungzipped file size for all files, rather than the gzipped one (which would be more useful).