Is Dr. Horrible even in Spiderman: Brand New Day, or...?