Intercept / keystroke only if search modal not active#638

valencik merged 1 commit intomaintypelevel/typelevel.github.com:mainfrom

pr/fix-slashtypelevel/typelevel.github.com:pr/fix-slashCopy head branch name to clipboard