Here is a small tip in case you are a developer and want the Search box on Moodle Docs also to search the developer pages: Click on Preferences, then Search and then on the checkbox next to Development. Because the Development namespace was introduced recently it will not be included in your search defaults unless you edit your preferences.
Hi Gustav, that sounds like an important tip. However I'm not sure where to find the preferences... Is this part of my user account? Part of Moodle docs? Part of the Search form? I suppose I'm probably looking right at it 
yep that helped Joseph. And you're right about the picture being worth a thousand words...
Thanks to you both!
Thanks to you both!