I just wanted to mention [this user](http://superuser.com/users/86129/) 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.?