They did. It was in the article.
> ... dotCloud the startup pivoted to focus on Docker and changed its name to Docker as well. Then, in August 2014, Docker sold dotCloud to cloudControl.
> ... dotCloud the startup pivoted to focus on Docker and changed its name to Docker as well. Then, in August 2014, Docker sold dotCloud to cloudControl.