People called him Dick which is why people assume his name must have been Richard. It wasn’t. The name Dick didn’t have weird connotations like it does now, it was just a name back then. But yeah his name was just Theophilus it wasn’t Richard. Source, my grandparents, who actually knew him