Thread:Artful Dodger/@comment-24800939-20151001014455/@comment-100066-20151004020303

There's nothing wrong with keeping both and I think we should, but what do we call them? Which one gets the standard name and which one gets an alternate name (and what name would that be?)