On May 30, 2018, at 11:27 PM, Vladimir Ivanov <vladimir.x.ivanov at oracle.com> wrote: > > (But that's not something requiring immediate attention.) > I'd prefer to get the naming convention right, rather than fix it later. Fixing it later means losing some repository history. — John