Fix bad handling by API of Sort menu in Plush.

Leads to (invisible) crashes in the UI, but also to warnings and failure of the sort.
Make name sorting of the queue case-insensitive.