Ludovic Courtès writes: > The best way to know that is by sending a patch. ;-) > > A common criterion in deciding whether or not to enable an optional > feature is how widely used it is vs. how much it adds to the size of the > package closure. If you can provide that kind of info in your patch > submission, that’ll make it easier to decide what to do. Done: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31046 -- Pierre Neidhardt