For the record, Cyanogenmod existed for 4 years before cyanogen inc. We will have a short transition period as 'inc' shuts down and cyanogenmod is rebranded, but cyanogen himself says he is happy to rebrand (https://twitter.com/cyanogen/status/804890637505966081)