Query on usage of gl-headers on Linux
We had a follow-up from https://gitlab.com/freedesktop-sdk/freedesktop-sdk/-/issues/786 to find out whether gl-headers is a real dependency on this project for all platforms (including Linux). And if not, whether it can be avoided to supply it in sources root in favour of system GL headers.