I just wanted to mention this userthis 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.?
