The developers of Anroid likewise think users know what it means to "unmount" a volume safely when they abruptly remove an microSD card. (I suppose they can just Google for the man page, so no big deal, right?)<p>There isn't much wrong telling users to separate search terms with the | character as such; what is laughable is the (pipe) remark after it. Users will be scratching their heads at why the word pipe appears in parentheses after |, which doesn't look anything like a pipe.<p>Users can learn to use funny characters. By now, "everyone" knows that # is called hash, thanks to Twitter. It just has to be set up properly.<p>"Dear user. The | character is called 'pipe' in geek culture, due to a certain historic use[learn more link]. We think it looks nice when you use it for separating pieces of text. In this search box, you can enter multiple terms separated by this pipe character. The software will search for matches for all those terms simultaneously as if they were independent searches, and give you the combined results."