Request #70945 has been Accepted by bertptrs [1]: crc appears to be the appropriate name for upstream, the openshift name is defensible but give crc already exists and the previous request was accepted, this seems the correct way forward.
> I thought that would be impossible, and/or that the package would be hidden, but it turns out it actually got re-created). Nothing is in place to prevent you from doing this but you shouldn't do that. [1] https://aur.archlinux.org/account/bertptrs/