> On 15 Jun 2020, at 20:22, Andres Freund <and...@anarazel.de> wrote:
Thanks for picking this up! > 1) 'postmaster'. As changing that would be somewhat invasive, the word > is a bit more ambiguous, and it's largely just internal, I've left > this alone for now. I personally would rather see this renamed as > supervisor, which'd imo actually would also be a lot more > descriptive. I'm willing to do the work, but only if there's at least > some agreement. FWIW, I've never really liked the name postmaster as I don't think it conveys meaning. I support renaming to supervisor or a similar term. cheers ./daniel
