am 80c0b1ea: am 1c55e66e: am 24c5e1b8: am 1acbcf99: am 2f503e74: am 617f99b2: am 911f3268: Fix proximity/edit correction detection that affects the terminal cost.
* commit '80c0b1ea22c9416431df0a9821e459fe8f4f9dde':main
commit
07eab88f5b