4 ms·He does say that the original file gzipped is 132 bytes, doesn't seem worth it to me.by tym0 10y agoHe does say that the original file gzipped is 132 bytes, doesn't seem worth it to me.