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