Some minor cleaning up [ci skip].
Updated the user and developer documentations [ci skip].