On Mon, Aug 5, 2013 at 2:53 PM, peter dalgaard <pdalgd at gmail.com> wrote: >> Does this seem FAQ-worthy? Should I e-mail the FAQ maintainer and suggest >> it? > > Sure, as long as we never change the numbering of FAQ 7.31... > Not even to FAQ 7.31+1e-15 ? Barry