Also support alternate format for modifyOtherKeys ("formatOtherKeys" in xterm)