On 12/26/2012 02:14 AM, Akim Demaille wrote: > I have submitted the removal of this part, and it was rejected
Things have changed since then, so I just now raised the issue again on bug-standards: http://lists.gnu.org/archive/html/bug-standards/2012-12/msg00001.html
