Not sure that ContentLength adds much value here, i.e. other standard/common headers are being omitted here and, despite the code-like formatting, these examples are more about highlighting the semantically interesting bits of the endpoint.  Also ContentLength might confuse things - it would seem like we're trying to tell the developer something, but it probably wouldn't add up since we're formatting the body to make it more readable.