I just wanted to mention this user in my comment, but unable to figure out, how? I thought, only English is allowed on SE.

I am on smartphone at this time in which copy-paste isn't easy on websites.

Is there another way to mention him by numbers etc.?