wp-html5-category-selector

Adds a filter input field to the category box on the add/edit post page.