Commitfest app release at half June

I realized two smallish commitfest app improvements were merged but
not deployed yet for quite some time.
1. There's now a similar summary at the top of the "Personal
Dashboard" page, as is on regular commitfest pages. Thanks to Akshat
Jaimini.
2. Selecting the committer for a committed patch from the dropdown is
changed to use a searchable dropdown, and the names in the dropdown
are now sorted by firstname first instead of last name first (to match
how they are actually displayed in the dropdown).

I'm planning to deploy these changes half June. As always you can try
them out at: https://commitfest-test.postgresql.org/. With pgtest as
the HTTP username and password. And to login you need to create a new
test account, if you haven't already created one.