no keyboard shortcuts to move to next/previous find result
I'm running Devhelp 3.38.0 on Ubuntu 20.10.
When I press Ctrl+F and enter a search term, Devhelp finds the term on the current page and highlights it. I can then press the down/up arrows next to the edit box to move to the next/previous match for the next search term. That's nice. However there seem to be no keyboard shortcuts that are equivalent to these arrow buttons. I'd expect to be able to press the up/down arrow keys to move through matches (as in gedit) or to press Enter/Shift-Enter (as in Epiphany), but neither of these work.