Issue #55: Ctrl+Enter in Alt-search