Updated manual
[#2392] Add Configuration.set() methods. They should allow for modifying
a Configuration