the manager has 40 people under her. a single employee is not a threat at all. But I believe she does not like this guy and does not know how to get rid of him due to the technical stuff. frankly, I would rid of the guy and hire others. Probably delayed some work, but eventually it will be better.