Hi,
On Fri, Mar 04, 2022 at 10:23:15AM -0500, Bruce Momjian wrote:
> On Fri, Mar 4, 2022 at 07:00:58PM +0530, alias wrote:
> >
> > I copied the html files from source code repository.
> > Add a offline download link would be more friendly to beginner, I guess.
>
> Uh, yeah, but I don't remember ever receiving a request for this, so it
> doesn't seem warranted to add a link for it.
Same here, that's the first time I hear this request. Also I'm not sure that
beginner will really find it easier to locate the html page they need compared
to a search in the pdf document.
