change(web): remove duplicate correction-search path filtering 🚂#14996

jahorton merged 4 commits intoepic/autocorrectkeymanapp/keyman:epic/autocorrectfrom

change/web/remove-duplicate-path-filteringkeymanapp/keyman:change/web/remove-duplicate-path-filteringCopy head branch name to clipboard