Early December Commitfest app release

Hi all,

I'll deploy a new commitfest app release to prod somewhere early
december. The changes are:
1. Add a "Requeue CFBot" button to the patch page when logged in
2. Allow using all the filtering (by tag/author/etc) on the global
search page too
3. Make user dropdowns searchable when not logged in
4. Fix a few typos

As always, feedback is welcome. You can see the changes live here:
https://commitfest-test.postgresql.org/ (username and password are "pgtest")