I don't believe they had a choice, since it's a derivative of Adobe's OTF-licensed Source Sans.