2.3.2

Bug fix: the Mac version showed two entries in the Help menu labelled "TUI Help",
but only the second one worked.