https://plugins.jenkins.io/repo/ seems to have a name that eludes the 'exact match preference' rule of the 'Available' tab of plugin manager.
Steps to reproduce
Type 'repo' in the Available tab search/filter field of the plugin manager
REPO plugin is the first hit (since the name matches exactly), or at least close
It's not visible among results