The Community Distribution of Kubernetes that powers Red Hat OpenShift