Documentation: updated the title of the user/developer documentation home pages [ci skip].