Update protosearch, exclude the 404 page#637

valencik wants to merge 3 commits intomaintypelevel/typelevel.github.com:mainfrom

bump-proto-exclude-404typelevel/typelevel.github.com:bump-proto-exclude-404Copy head branch name to clipboard