3.0.15 Bug fix: selected download server was not saved. Minor interface improvements.