Add tip about Ctrl-{