This sounds fine to me; I'll try to make time next week to enhance the
gnulib quotearg module to output this style.That would be great, but please wait until rms has approved it (if we propose it). I see little point in spending time on it otherwise. karl
