Make sorting of (sub)conference names in menus case insensitive
e.g., to fix the issue where “miniKanren” appears at the end of the list.
Submitted by Elmer van Chastelet on 27 August 2025 at 12:06
e.g., to fix the issue where “miniKanren” appears at the end of the list.
Submitted by Elmer van Chastelet on 27 August 2025 at 12:06