Search Docs plugin not compatible with 2.7

I just wanted to let others know that this plugin is not 2.7 compatible. It does not produce the proper 2.7 admin panel header with the wp_logout_url template tag (see http://codex.wordpress.org/Migrating_Plugins_and_Themes_to_2.7#Logout_from_Site).

A pity, as it was a useful plugin.

http://wordpress.org/extend/plugins/search-docs/