The question was: what will George Lucas do with all the money he got from selling Lucasfilm to Disney?

And now, we know.