The role of search functionality in an online manual