F3 used to be available for find_next entry.  With the migration from
old toolbars to the headerbar, these shortcuts was lost.
Additionally, I added <Shift>F3 for finding the previous one.

commit 8bb5fce0 removed them, likely it was an oversight.

Closes #595