Distinct: proposal for the documentation of 'distinct'