Several enhancements: open help in new tab; robust insert mode; bash folding