Filter anchors in nav elements by keyword inputted by user in real time.
These are all versions of this script. Show only the versions where the code changed.
