Fix #4254 and other documentation mistakes and bring into closer conformance with the C++ standard library working paper.