I pushed this as trivial (thanks to Jim), and am closing it.
- bug#10083: [PATCH] * lib/install-sh: Spelling fix in comment. Paul Eggert
- bug#10083: Acknowledgement ([PATCH] * lib/install-sh: Spe... Paul Eggert
I pushed this as trivial (thanks to Jim), and am closing it.