Re: [mpiwg-tools] 3.1 edits