Alvaro Herrera <alvherre@commandprompt.com> writes:
> Whether the string is "AUTO " or "autovacuum: " seems rather the same
> thing to me :-) I agree with the general idea. I think "autovacuum: "
> makes it clearer that it's not part of the actual command syntax, so
> maybe I'll put half a vote for that option.
Okay by me. Do you want to make the change?
regards, tom lane