On Fri, May 08, 2020 at 09:21:25PM -0700, Peter Geoghegan wrote:> Fine with me.
Thanks, Peter. Done.--Michael