I didn't name names intentionally. The person in question does good work in general but got caught in the snare. Naming and shaming wouldn't have been helpful.