On 12/12/18, Carl Zwanzig <cpz at tuunq.com> wrote: > Any chance folks could start editing their replies to remove the extraneous > quoting? > No, we like to waste resources.