Discussed on IRC. Finally we have headers for OpenGL 4.1 and all the extensions released to this day.