v8.0.1743
6d150f78 · patch 8.0.1743: terminal window options are named inconsistently ·