> On 15 Jun 2020, at 20:22, Andres Freund <andres@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