Francisco Olarte <folarte@peoplecall.com> writes:
> I ( not the OP ) knew the meaning ( although I had forgotten the exact
> words ), and managed to find it, but had to do a full search. IMO an
> entry in the index could be useful for it, even if it is just an
> acronym ( I went to the HTML manual, searched in the TOC, searched in
> the first couple server configuration pages, searched in the index and
> then resorted to full search and got the acronyms hit in the middle,
> it seems a bit hidden for me ).
Hmm. I'd supposed that the entries in the acronym list (and the
glossary, now that we've got that ... I wonder why they are separate)
had <indexterm>s, but now I see they don't. I would not be opposed to
adding index entries.
regards, tom lane