+ \item{Every (uncommented) value for ``\texttt{PORT}'' (add 10000) in any
+ section (the option may be commented out if \texttt{PORT} is
+ prefixed by "\#", in this case, UNIX domain sockets are used
+ and the PORT option does not need to be touched) }