Tip: Searching documentation

A very quick productivity tip: add search plugins for documentation that you refer to frequently to your web browser. Even if you know your way around the documentation well, it's still faster just to search for what you want.

To get plugins, search Mycroft, which is fairly comprehensive for documentation resources. Where the documentation you want doesn't include a search engine, plugins can be found that search the documenation with Google.