Some work on our user and developer documentations [ci skip].