Steve Crawford <scrawford(at)pinpointresearch(dot)com> writes:> My vote is to add "Appendix I. Abbreviations".
It seems more like FAQ material than something for the manual.
regards, tom lane