v8.0.0729
8008b631 · patch 8.0.0729: the help for the terminal configure option is wrong ·