@@ -1492,7 +1492,7 @@ function menu_top_level {
6 $"Manage Users" off \
7 $"Email Filtering Rules" off \
8 $"Security Settings" off \
- 9 $"Set the main repository" off \
+ 9 $"Set the main repository (Trove)" off \
10 $"Hubzilla" off \
11 $"Media menu" off \
12 $"IRC menu" off \