Sort all boards and favorites by board code alphabetic, with numeric boards last. #415

Open johnarleyburns opened 10 years ago