#398: Rename Repo command to avoid name clashes
#398: show available repositories