Could you ask for the inclusion of this library in official Arduino IDE's Library Manager?

[q2dg]

This would give a lot more visibility to this project
See https://github.com/arduino/Arduino/wiki/Library-Manager-FAQ
Thanks!

[tardate]

@q2dg thanks for the tip. I'll look into it to see if it may be relevant (note that this repo is a fork with slight improvements of the code originally released on http://playground.arduino.cc/Code/TextFinder)

[tardate]

finally got around to adding the library(!!!).
has been merged, pending distribution:
arduino/library-registry#6419