Discussion on answer by Michael Harvey: What do you call those "round checkboxes"?

Imported from a comment discussion on https://ell.stackexchange.com/questions/325845/what-do-you-call-those-round-checkboxes/325850#325850