Ah, thanks. Like the poster you responded to probably, the actual bit (hah) that I was missing was that the last bit was apparently no used by the framebuffer in any way, i.e. it's available for synchronization because changes to it are not visible on the screen.