The question was: what will George Lucas do with all the money he got from selling Lucasfilm to Disney? And now, we know.