Minor update to our user documentation [ci skip].
Minor update to our user documentation [ci skip].

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