Ricerca filtrata con jQuery

Questo plugin per jQuery implementa una ricerca con filtraggio. L’utente inserisce le lettere e la lista sotto si popola con solo gli elementi che hanno nel nome quelle lettere.
Non importa che l’elemento della lista inizi con le lettere inserite, ma va bene anche se le contiene all’interno.
La lista delle parole da filtrare ha come id “list” (possiamo anche cambiarlo ma in questo caso dobbiamo cambiare il valore della seconda variabile che viene passata alla funzione filterList).