Looks like it would need adding. Yet search over text in database could be
pretty extensive for db.
I suggest to add feature request on github.
On Tue, 8 Jan 2019, 20:17 Gerardo Ferreyra <raptorg83@xxxxxxxxx wrote:
Is there any way to search something (server, etc),
... considering the notes box?