np. Future reference, if you’re just using the web site and not something like jerboa or whatever, if you start typing @ and then the user name, there should be a little popup showing matching usernames that you can then tap on and it auto-fills in the name as a link and tags them without you having to type out the markup.