Some minor update to the developer documentation [ci skip].
Some minor update to the developer documentation [ci skip].

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