I just kind of roll my hand to the ctrl key, I don't use a finger to press it.
Same thing with right-ctrl.
Reply on news.ycombinator.com