support: use abbreviated names (user.nice_name()) in tickets, instead of full contact names, if we can.