PBO and glPushClientAttrib


Is the state of GL_PACK_UFFER_BINDING_ARB subject to glPushClientAttrib(GL_CLIENT_PIXEL_STORE_BIT) / glPopClientAttrib() ?
On nVidia it certainly is.
ARB_pixel_buffer_object specs don’t mention glPushClientAttrib, though. Where can find explicit information about the relation of both?

I guess, I have found it:

(table 6.20, Pixels, p. 235)

    Get Value                        Type   Get Command  Value    Sec     Attribute
    -------------------------------  ----   -----------  -------  ------  -----------
    PIXEL_PACK_BUFFER_BINDING_ARB    Z+     GetIntegerv  0        4.3.5   pixel-store
    PIXEL_UNPACK_BUFFER_BINDING_ARB  Z+     GetIntegerv  0        6.1.13  pixel-store

“Attribute: pixel-store” hints to gPushClientAttrib