Re: [Win32][RFC]: Default settings for Ctrl vs. Alt