Documentation and specification are not the same things. The intuitive distinction is that the second one is for compiler/library developers, and the former is

Documentation and specification are not the same things. The intuitive distinction is that the second one is for compiler/library developers, and the former is for users. A specification can not leave any room for ambiguity or anything up to interpretation. If it does (and this happens), it is treated as a bug to be fixed.