Server configuration is now written when "/#setting whatever = whatever" is issued.