Allow adding people via @mention

It often happens that you mention someone in a ticket but forget to add them. If that person was responsible for shipping spare parts, it is a mistake on my side but this sucks for the customer.