Improving documentation with user feedback