The search is so slow that I'd rather just have all of our technical documentation as a Markdown files in a Git repo than in Notion.