Something not really important but that could make the thing more obvious for everyone. What about a gl4.h header?
Ok, the purpose of gl3.h is to expose the “core profile” functionalities so this gl4.h has no real purpose is more than gl3.h isn’t the right name. gl_core.h?
Nothing earth breaking here just stating on something odd for most people I guess.