Updated the user and developer documentations [ci skip].