Simplifed the devserver configuration format.