A jQuery plugin for filtering the contents of an HTML select list.