Merge pull request #456 from nwnk/glx-sgi-video-sync-interaction GLX_SGI_video_sync: Note the interaction with ARB_framebuffer_object