Any chance we could get a keyboard with a Penguin super key for the DIY users? I hate having the Windows logo on my Linux laptops… If a full “Linux” keyboard is not possible, I’d happily buy a replacement key. Will the keys be individually replaceable?