That is not necessarily the order these things happened in.

He could have

1. Taken offense to this comment/taken interest in what else this user comments (which you can do without any admin tools)

2. Seen the islamophobic/xenophobic comment

3. De-anonymized the user

In this version the de-anonymization is related to the more repugnant comments, not the initial critique.