On Sun, Oct 10, 2021 at 10:55 PM Dmitry Gutov wrote: > On 11.10.2021 00:47, João Távora wrote: > > On Sun, Oct 10, 2021 at 10:45 PM Dmitry Gutov > > wrote: > > > > On 11.10.2021 00:31, João Távora wrote: > > > Why don't you state exactly what problematic scenario you're > > thinking of? > > > > People relying on the 'shorthand' style while we try to remove it. > > > > Presumably, we're going to replace it with something better, so > > I don't see any problem. > > Presumably, we're likely to replace it with no style at all, which can > break personal configurations (referencing a non-existent style). > Really, we are? That's news to me and my crystal ball. But if we do, we just noop the style and done. João