Slight updates to the developer documentation [ci skip].
Updated the user documentation (#428) [ci skip].