I am using the mmenu.js jQuery plugin. It's search function can only search the textnode within each menu item's tag. So for example, I have a menu item like t
date-patterns
concurrent-vector
software-quality
coq-linter
xbox-one
mobilecoreservices
merkle-tree
allegro
sharpziplib
graphicscontext
currying
jls
redis-py
arquero
mixed-type
autodiscovery
laravel-eloquent
nstableview
mongodb-charts
clickjacking
angular-ngrx-data
soapserver
multer-gridfs-storage
dot-plot
microsoft-ui-automation
visx
bambi
negative-zero
ruby-native-extensions
depth
