Where do you see that SteamOS Holo is GPL3? A package is not required to be GPL, and most of SteamOS is a customized arch installation, there's no guarantee that SteamOS itself is GPL. And which repo are you talking about, I don't see it on their gitlab for SteamOS Holo?