On 2016-09-23 05:55, Eli Zaretskii wrote: > How about if we install this with a user option, off by default, that > switches to the new format when turned on? I like this idea :) In that case, we should probably mention the options in NEWS, adding a note that code should be updated.