⟩ I ca not 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.