v8.1.0487
4c5d8152 · patch 8.1.0487: no menus specifically for the terminal window ·