On Fri, Oct 06, 2023 at 08:38:31AM +0200, Peter Eisentraut wrote: > Yes, something like that. Some people wanted a tarball of just the HTML > docs for download. Similar to the PDFs currently, I suppose.
I suspected so. I've marked the patch as RfC for now. -- Michael
signature.asc
Description: PGP signature
