On David Lynch's Revenge of the Jedi (2018)