chatGPT nav Filter

Filter anchors in nav elements by keyword inputted by user in real time.

Version vom 12.05.2023. Aktuellste Version