Searching in docs/tint/extensions