I have installed an extension that lets you mention users. Usually this can already be done by using the @... tags. But with this extension you can type @ followed directly by the username. A dropdown list will show up once you start typing. Once done this will create for example this