There's a clip of Elon's dad saying that his caretaker had read the book to him, translating along the way, and so he'd known the name. It also coincides with an in-law's name, so he took that coincidence as a sign. But Errol really did say that the name came from the book.