Some minor updates to the user documentation [ci skip].
Some minor updates to the user documentation [ci skip].

mirams/opencor,mirams/opencor,Fairly/opencor,Fairly/opencor,Fairly/opencor,Fairly/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,mirams/opencor