How do I tag/mention a user in a comment?

Just include their account address, the webui or your app should do the rest if needed.