Improve formatting of internal documentation.

Improve formatting of internal documentation.

o Add `quote' argument to `description-list->texi' to control insertion of
  `@quotation ... @end quotation'.  Update all callers appropriately.

o Sort table of identifiers.