I can't uncompress the zipped version of the specification

If you are having problems unzipping a file, it may be that your system has already unzipped it for you during the download without removing the ".gz" suffix. You may have to rename the already unzipped file by hand.