Update the global search page with all the fancy filters#93

JelteF wants to merge 1 commit intomainpostgres/pgcommitfest:mainfrom

better-search-pagepostgres/pgcommitfest:better-search-pageCopy head branch name to clipboard