Re: [PATCH v3 0/3] MR8473: opengl32: Add an EnabledExtensions registry option. - approved