Re: RFC: Three dots or Unicode ellipsis character