She was already a legend when I was working in IT in the 70s/80s, but I hadn't known she was a Holocaust survivor. RIP