plugin tipo da utilizzare

Salve, volevo capire che tipo di plugin sarà stato utilizzato per questa pagina web? io credo gli ingredienti siano dei tag e la ricerca che fa questo plugin tra gli ingredienti (tag) fatta a video è perfetta. potrei capire secondo voi di che plugin si tratti?

La pagina su cui ho bisogno di aiuto: [devi essere connesso per vedere il link]