AWI: CTRL-ENTER does not open a new tab.