Better name for GLFW-related option.