A tiny, efficient fuzzy search that doesn’t suck Created by leeoniya on Sep 16, 2022.