Hello
> I'm a bit reluctant to whack postgresql.conf around in back-branches
> because sometimes that makes funny things happen when somebody
> upgrades, e.g. via RPM.
If i remember correctly both deb and rpm packages will ask user about config difference.
But good point, comment change is too small difference. I am a bit late, good time for such change was before last minor release (we add data_sync_retry and config was changed anyway).
regards, Sergei