Very good idea. This could also be useful to run a battle server that doesn't need a level pack which has levels in a specific order: just have the server run while setting it to cycle to any random level in the level list after a level completes in the batch file. This way someone could host a server that has all the battle levels ever uploaded to J2O that have a rating of 7+ or so.

EDIT: Another cool thing would be to add a (possibly optional) probability parameter to all files in a levellist.ini file which can be set to a number ranging from, say, 0.1 to 10.0. The higher the number, the bigger the chance that the level will be picked when cycling to a random level in the list. In this case, all levels that do not have the parameter set should have a default probability of 5.0. For the 'persistent server', the J2O ratings can be included in the levellist.ini file as a probability.