What part of their GPL-licensed firmware that is hosted in a public GitHub, do you consider not to be open-source?