Document that ARB_texture_buffer_object_rgb32 has no new tokens and no new functions.