Learned today: Mel Brooks produced The Elephant Man, cast his wife and chose David Lynch, but left off his name, lest it be seen as comedy.