Documentation: Tips & tricks how to use search?

@hugh / @JammyDodger do we need something like this in the documentation topic?

3 Likes