On Sunday, 3 August 2014 at 22:51:58 UTC, John Carter wrote: > The obvious simple correct resolution is to give them two > different names. Agreed, but it remains to see if those in favor of the original proposal will agree also.