There is a generally not-known feature in the Eclipse Help which allows to configure the scope of searches. By default, whenever you perform a query, the search scope is restricted to your local help repository (i.e. Javadocs, API references, user guides contributed by plug-ins). However, it is possible to add...