Comment by bawolff

Which basically never matters and in any case where it actually does, gzip will make it equal again.