Is every autistic person’s favorite superhero Spider-man?