[wp-docs] Limiting search?

[Xavier Borderie]

> For search only Codex, add 'site:http://codex.wordpress.org ' in search box

A little checkbox here or there would be nifty, though.

x.