I don't understand. Has docker completely given up on enterprise? I know they sold their enterprise offering, but how are they planning to make money from developers only? What is it that I am not seeing? Especially when you have tools like Okteto and ReleaseHub, why would Docker Dev Environments be preferred over the aforementioned tooling?