I'd rather have it in and be correct. That said, if you can provide a big EGL codebase where `glFlush` does indeed deplete framerate, we could include a comment and disable it.