Hacker News new | ask | show | jobs
by juancn 896 days ago
They seem to be replacing the right CTRL key rather than adding a new one.