Minor updates to the developer and user documentations [ci skip].