Docker raised even more money. Devtools monetization is the hardest problem in the startup world. It's been tried again and again because lots of startup founders are devs and they want to solve their own problems but ultimately nobody wants to pay for it