History on Why we have OK buttons in GUIs (web site slow, see article in comments)