When Is Neurodiversity an Excuse for Rudeness?

How to deal with a colleague who won’t even try to make nice.