Fix typos, via a Levenshtein-style corrector
Should be non-semantic.
Found some improvements over the semi-automatic corrector used in !2251 (closed) ; corrector available at https://github.com/bwignall/typochecker .
Relates to #16591 .
Should be non-semantic.
Found some improvements over the semi-automatic corrector used in !2251 (closed) ; corrector available at https://github.com/bwignall/typochecker .
Relates to #16591 .