or, just swap ctrl and alt, and then you get to press ctrl with your thumb, no pinky mutation needed.