Bug fix in DeviceSet.replaceDev: if the new device was None it was not being put into the slot dict.
Minor fixes to documentation.