When Marvel and DC we’re doing all those crossover and mashup comics in the 90s, did they do a Doctor Strange/Hellblazer?