As I understand it, that's correct: built using Github Enterprise internaly and then published publicly. There was code in public, on the Development Seed account, with respect to coding for the project; anyone can go look at the commits there. Your other points speak for themselves.