Currently for the stable and beta channels that is true for now. Of course that changes in May when we fully take over maintenance. But for the alpha channel, a

Currently for the stable and beta channels that is true for now. Of course that changes in May when we fully take over maintenance. But for the alpha channel, and experimental edge channel, we have already diverged with updated packages. But, yes, in the beginning we simply removed the CoreOS trademark similar to how CentOS removes the RHEL trademark. But very different from CentOS, we knew from the start that the upstream would eventually go away and all maintenance would be carried by Kinvolk and other contributors.