Unminified fragment (pin.js, Pin.Tags.prototype.filter, line 884):
if (Pin.Lang.indexOf(words, w) >= 0) // case-sensitive
{
lis[i].className = 'selected';
}
Minified:
if(Pin.Lang.indexOf(f,g)>=0||(d&&g===a)||(!d&&g.toLowerCase()===a.toLowerCase())){