leaderboard through session label update

app.py

@@ -139,6 +139,7 @@ def leaderboard() -> str:
             if selected_session_date
             else "Latest session"
         ),
+        session_label=session_label,
     )
 
 

templates/leaderboard.html

@@ -50,7 +50,7 @@
                 <select id="through_session" name="through_session" class="session-filter-select" onchange="this.form.submit()">
                     <option value="" {% if not selected_session_date %}selected{% endif %}>Latest session</option>
                     {% for session in available_sessions %}
-                    <option value="{{ session.session_date }}" {% if selected_session_date == session.session_date %}selected{% endif %}>{{ session.session_date | pretty_date }}</option>
+                    <option value="{{ session.session_date }}" {% if selected_session_date == session.session_date %}selected{% endif %}>{{ session_label(session) }}</option>
                     {% endfor %}
                 </select>
                 {% if selected_session_date %}