I admire Nadella for taking a hard line on this. It removes any uncertainty for the minority of employees that virtue signalled over it. They can take his offer to move to another department or they can quit or they can swallow their pride.