It seems that Ctrl was a poor choice of buttons for a web browser. We won't be making that mistake again!
