#201641 by Ralf Stamm, Pancho: sort themes by their .info name, not their file name (just like modules)