Red Hat Quay 3.1\, a highly available Kubernetes container registry\, arrives