Force documentation window in HAL browser to be longer.
This used to display correctly, but has somehow become quite short.
Don't know what changed.