वाराणसी देव दीपावली। कार्तिक पूर्णिमा। बनारस का देव दीपावली।