Handle maps containing Ctrl

Ctrl is input differently for maps and help. Users always use map-style
input, so when we're looking in help we must convert to help-style.