Use a dedicated non-multisampled FBO for color-based picking —
glReadPixels on QOpenGLWidget's multisampled FBO returns incorrect
values on macOS. Scale viewport and pixel coordinates by
devicePixelRatioF() for Retina displays. Move help text to top-left
to match Java layout.