NXP-12337: don't add twice the same user for a given notification on a document