Hi Ihor, Ihor Radchenko <yanta...@gmail.com> writes:
>> However, I just (strongly) prefer the shorter "ISO-like" ID for many >> reasons, as already mentioned (shorter, meaningful, etc.). I just find >> that style much, much more elegant. > > I guess it does not take much to add this functionality. It looks okay to me, for after 9.4. Thanks for putting this patch together! -- Bastien