On 07/06/2013 02:15 PM, Paul Eggert wrote: > For now, the compressed files may be delivered in their > uncompressed versions. You should be able to use FTP > to access the compressed files reliably. The IANA folks have reconfigured their proxy, so the problem should be fixed now, and HTTP files (like FTP files) should be compressed properly now.