On Fri, Jul 9, 2021 at 11:35 AM David Rowley <dgrowle...@gmail.com> wrote: > I really like that name. > > I'll wait to see if anyone else wants to voice their opinion before I > do any renaming work.
I like it, too. -- Robert Haas EDB: http://www.enterprisedb.com