just as an aside: has any of 10C been open sourced? Even small bits.