Documentation issue: Installing Bazel on Fedora 35 Fails per the Instructions

Documentation URL: https://docs.bazel.build/versions/5.0.0/install-redhat.html

#  dnf copr enable vbatts/bazel
 dnf install bazel4
Enabling a Copr repository. Please note that this repository is not part
of the main distribution, and quality may vary.

The Fedora Project does not exercise any power over the contents of
this repository beyond the rules outlined in the Copr FAQ at
<https://docs.pagure.org/copr.copr/user_documentation.html#what-i-can-build-in-copr>,
and packages are not held to any quality or security level.

Please do not file bug reports about these packages in Fedora
Bugzilla. In case of problems, contact the owner of this repository.

Do you really want to enable copr.fedorainfracloud.org/vbatts/bazel? [y/N]: y
Error: This repository does not have any builds yet so you cannot enable it now.

Installing the yum repo manually from the following location does work:

https://copr.fedorainfracloud.org/coprs/vbatts/bazel/repo/fedora-35/vbatts-bazel-fedora-35.repo