On 11.10.2021 00:47, João Távora wrote:
> On Sun, Oct 10, 2021 at 10:45 PM Dmitry Gutov <dgutov@yandex.ru
> <mailto:dgutov@yandex.ru>> 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).