[pgadmin-support] Server order

[Mike . Blackwell]

Is there a way to change the order of the servers in the Servers list? 
It'd be nice if they were alphabetically sorted.