Hello. I've installed the latest "daily build" (Version 1.2.1214) on Linux, and I noticed that several commands have "Cmd + ..." as shortcut. I thought the "Cmd" key (presumably this is coming from a Mac configuration file) would simply be mapped to "Ctrl", but that's not the always case... For instance, the "Go to start of line" is obtained on Linux by typing Alt-Left.
