Filter anchors in nav elements by keyword inputted by user in real time.
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
