I have a serious [perhaps somewhat off topic] question: When Carter said "I had no particular desire to kill Lorquas Ptomel, and less to be a jed among the Tharks" is this where the term 'jedi' comes from that is used in the Star War movies?