should the headers include an extension version?

[bashbaug]

Since we have started to include the extension version in the extension specs, should we include the extension version in the headers also? This will help applications to know what is the maximum version of the extension their headers support, vs. checking for the presence or absence of features that may be available only in newer versions of the extension individually.

This is done by some Khronos specs already. For example, the headers for a Vulkan extension include a line similar to:

#define VK_KHR_SURFACE_SPEC_VERSION       25

If we decide to do this, ideally we would include the version in the XML file and generate it in the headers (#113, #161).