Those giant “push” buttons, which automatically unpushed the other buttons when one is pushed, are called…. Get ready… radio buttons.

Now you know why radio buttons are called that in modern UIs.