Hi João,
> Attached v5 softens that sentence and recommends leaving a safety
> margin below the limit, the same way the work_mem docs put it.
v5 reads correctly -- the total can indeed be many times work_mem, and
the safety-margin wording matches how work_mem is documented. Only the
last paragraph changed and the docs still build, so this stays Ready for
Committer from my side.
Regards,
Manu