Rudolf Adamkovič <salu...@me.com> writes: > After thinking about this for a while, I realized I do not know when I > will have the time to implement the proposed improvements. So I wonder, > should we merge what we have, with the feature disabled by default using > the existing customization variable? That way, some people can enable > the feature today.
The problem is that people may not know this feature exists and should be enabled. You still need to add NEWS entry (in any case) and manual entry (if the feature should be enabled manually). Best, Ihor
