Where in the 3.3 Core spec can I find this piece of info. on VAO and EBO usage?

The LearnOpenGL’s “Hello Triangle” tutorial says this on Vertex Array Objects and Element Buffer Objects (with OpenGL 3.3 Core):

The element buffer object currently bound while a VAO is bound, is stored as the VAO’s element buffer object. Binding to a VAO thus also automatically binds its EBO.

Where can I find this in the OpenGL 3.3 Core Profile spec? I assume I’d only find the information there. I’d like to make a note of it in the spec, and it’d help me understand the spec better. I tried looking at “2.10 Vertex Array Objects”, but I didn’t find anything similar to the above quote. Though I may have missed something there.

Near the top of p50, §2.10 says:

The resulting vertex array object is a new state vector, comprising all the state values listed in tables 6.4 and 6.5

Table 6.5. “Vertex Array Object State (cont.)” on p281 includes ELEMENT_ARRAY_BUFFER_BINDING.

That’s some interesting wording, but that was what I was looking for. I’ll more more into it. Thanks!