For full text search please use the '?' prefix. e.g. ? Onboarding
Agda
docs:
https://agda.readthedocs.io