You realize that you are just feeding the fire here right? By giving this player’s name more attention and making a forum post, you are giving them exactly what they wanted, attention and confirmation that it upset someone.
You are better off not giving them the attention they are seeking, just ignore them and move on.