Issue #2248799 by amitgoyal: Fix docs for system_sort_themes