In most other programs when you use F3 to search you end up jumping around your different results. Say you have 5 results of the word “mobile”, and when you press F3 or CTRL+F you jump around to those different results every keypress. But on text editor it only searches, but doesn’t jump around. Text editor requires you to press the arrows with your mouse to jump around, rather than using the keyboard.
It’d be faster that way. Especially since gnome is otherwise a very very keyboard-friendly DE.