@-mentions for better collaboration

It would be useful to mark other users in docu tools directly by @-mentioning them in notes. This would facilitate interaction and collaboration (e.g. when notifications are triggered by mentions).