Should Developers Know about Kubernetes?