T techcrunch.com Steve Singh stepping down as Docker CEO 211 points akulkarni 7 years ago 190 comments