On Fri, 15 Feb 2019, Carlos O'Donell wrote: > Let me post the new manual text which is Ben Woodard's work and get that > in place first and then we can add to it. If that's the text previously posted in Oct 2017, note there were lots of review comments that should be addressed for a reposting. -- Joseph S. Myers joseph@codesourcery.com