top_five pick fix

app/leaderboard.py

@@ -127,6 +127,7 @@ def get_leaderboard(reveal_prelim = False):
         if (
             reveal_prelim
             and len(top_five) < 5
+            and orig_name not in top_five
             and orig_name in AVAILABLE_MODELS.keys()
         ):
             top_five.append(orig_name)

app/models.py

@@ -749,9 +749,7 @@ def make_link_to_space(model_name, for_leaderboard=False):
         title += model_name +'; Disabled (See AVAILABLE_MODELS within code for why)'
 
     # bolden top five models which get more scrutinized
-    print(top_five)
     if model_name in top_five:
-        print('Warning: top_five is not set')
         style += 'font-weight: bold;'
         title += '; scrutinized'