Yes I would start a formal vote with the three proposals: descriptive verb, adjective, verbs + adjective.
Regards JB On Oct 26, 2016, 07:16, at 07:16, Jesse Anderson <je...@smokinghand.com> wrote: >We need to make a decision on this so Neelesh can finish his commit. >Should >we take a vote or something? > >On Tue, Oct 25, 2016, 7:55 AM Jean-Baptiste Onofré <j...@nanthrax.net> >wrote: > >> Sounds good to me. >> >> >> >> On Oct 24, 2016, 19:11, at 19:11, je...@smokinghand.com wrote: >> >I prefer MakeDistinct if we have to make it a verb. >>