On Wed, Jun 3, 2026 at 12:30 PM Jelte Fennema-Nio <postgres(at)jeltef(dot)nl> wrote:
> If it becomes too noisy we can change the page to suggest people to
> report it some other way
Yep! Hearing no objections so far, I'll copy-edit a version of your
suggestion this morning and send it to the wiki admins.
Thanks!
--Jacob