Very diplomatically worded. A 30% improvement in a rarely used feature hardly justifies the extra burden on maintainers and even less the burden on readers of the manual. Would that we had such good data on the true cost of programming clutter as Daniel has given us about one potential benefit of clutter.+1 for deprecation. Doug McIlroy
Thank you.
