We don't have any API using the GdkExtensionMode enumeration, so no point in carrying it in the headers.