fix(expander): match typed text and correct autocorrection prefix lengths - #570

fix(expander): match typed text and correct autocorrection prefix lengths#570

AsafMah wants to merge 4 commits into

LeanBitLab:mainLeanBitLab/LeanType:mainfrom

AsafMah:asafmah-upstream-exact-expansionAsafMah/LeanType:asafmah-upstream-exact-expansionCopy head branch name to clipboard