no, I meant that to save space, more complete docs are replaced by one or two terse files (that also also gzipped).