Do not fake private/magic attributes in `CurrentDeviceProxy` -- gets rid of a number of warnings when building the documentation.
Various small changes to the user guide