jalenack wrote a plugin tonight on IRC that will search the WordPress Codex directly from the WordPress admin panel.

You can check out the announcement here.

I wrote a separate plugin that does the same sort of thing, but just a tad differently.

Download the “final” here. I’m adding it to the wp-plugins.org repo as soon as I get confirmation.