Keith Wright writes: > Well, I think it is too special interest and > way too damn big for a general user discussion list.
I am sorry, I made a double mistake by send it here and sending it inline, because I did not realize that updating gnulib would be so huge. I suggest that we move to the bug report for further discussions. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=49870
