v8.0.0825
3633cf52 · patch 8.0.0825: not easy to see that a window is a terminal window ·