spec: unneccessary requirement in [message-protocol-marshaling-object-path]
In [message-protocol-marshaling-object-path], if no slash-separated element may be an empty string as per the preceding bullet point, unless it's the root (/) as per the following bullet point, then it already follows that consecutive slashes cannot happen. There's no need to spell this out.