v8.2.0518
5ba8d357 · patch 8.2.0518: a terminal falls back to setting $TERM to "xterm" ·