Comment by garciansmith

I was confused by the command symbols, since most Linux distros use the ctrl/alt/super terms. But they have some hardware too with integrated keyboard (do any other desktop computers do that anymore?). The custom keyboard layout is both interesting and kinda awful (biggest escape key I've ever seen).