Update protosearch, exclude the 404 page - #637

Update protosearch, exclude the 404 page#637

valencik wants to merge 3 commits into

maintypelevel/typelevel.github.com:mainfrom

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