v8.2.3251
0f5575d0 · patch 8.2.3251: listing builtin_gui as an available terminal is confusing ·