Exclude dox-search from documentation; README confuses it