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