improve Setting.hs: sort the plugins