Done.
See, this is what “extraneous” means. What does this have to do with anything being talked about in this thread?