Andres Freund <andres(at)anarazel(dot)de> writes:
> I don't really know what to do about the "IO" abbreviation. The other sections
> un-abbreviate abbreviations, but I suspect that Input/Output will be less
> informative than IO to most...
I'd lean towards writing "I/O", but it's not a point I'd quibble over.
regards, tom lane