To speed up the search for a loaded mission's in the server would be interesting to filter from in a searchbox to narrow the list.
And also could add checks box to preselect the types of missions.
Admins sometimes lose too much time looking for a mission, especially considering that mission's editors use different criteria of categorization to name missions {F22490}