On Mon, Oct 11, 2021 at 11:29 AM Mark Dilger <mark.dil...@enterprisedb.com> wrote: > The recently submitted patch already contains a short paragraph for each of > these, but not a warning box. Should I reformat those as warning boxes? I > don't know the current thinking on the appropriateness of that documentation > style.
I definitely think that it warrants a warning box. This is a huge practical difference. Note that I'm talking about a standard thing, which there are certainly a dozen or more examples of in the docs already. Just grep for "<warning> </warning>" tags to see the existing warning boxes. -- Peter Geoghegan
