On David Lynch's Revenge of the Jedi