Jürgen Spitzmüller wrote: > Am Freitag, den 19.02.2016, 18:24 +0100 schrieb Jean-Marc Lasgouttes: > > I would like that. However, what happens to people who have used it > > in > > preamble? There can be a clash if the options are not the same. This > > is > > a generic problem actually. What is the plan in such cases? > > If it is opt-in (which it should be), this should be not a real > problem.
Yeah, it would be off by default. P
