https://www.gadgetmongers.com/2023/01/15/who-invented-the-name-robot/