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