Is there an easy way to tag users in posts?

[thelonecrouton]

Currently I find and dummy-quote a post by the user I want to tag, and the quoted text includes their user number. Is there a faster way? User profiles don't seem to include their user number, or a I missing it?

 

[flare]

Currently I find and dummy-quote a post by the user I want to tag, and the quoted text includes their user number. Is there a faster way? User profiles don't seem to include their user number, or a I missing it?

Start typing '@userna..' - there will be a autofill

e.g. thelonecrouton

 

[thelonecrouton]

flare thank you!