Sort list(s) of plugins in plugin manager
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
Especially when many plugins are available, it is a bit tedious to search for a particular one in an unsorted list. Ideally, the lists of local and remote plugins would be sortable by name and property.