do people in general realize that he is somewhere on the autism spectrum?

People who know who he is? Probably.

Others? Maybe. Maybe not.