4 ms·

I still feel it's not professional to name the manager. Hixie could very well have just said "my manager", and many people would have understood.