Someone knows(remembers) why Ctrl+Enter is mapped to keyvalue 13
I would expect Ctrl+M to be mapped at this value.

Ctrl+l -> keyValue 12

Ctrl+Enter -> keyValue 13

Ctrl+n -> keyValue 14

I miss
Ctrl+M -> keyValue ????

(see Fogbugz issue 12103  shortcuts for tools)

(I vagualy remember this is related to the VM and there was
a reason for doing so, but don't know it anymore)

regards
nicolai