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
