>
> We can leave it for the committer to decide, maybe. Committers often
> rewrite surrounding comments to improve wording, correcting factual
> errors, etc.
>
Sure.
--
Best Wishes,
Ashutosh Bapat
EnterpriseDB Corporation
The Postgres Database Company