Clarify that the softspace attribute is used by print for state management,
not as a user-controlled parameter.
diff --git a/Doc/lib/libstdtypes.tex b/Doc/lib/libstdtypes.tex
index dcdee87..ad3120e 100644
--- a/Doc/lib/libstdtypes.tex
+++ b/Doc/lib/libstdtypes.tex
@@ -1132,6 +1132,9 @@
(care may be needed for objects that override attribute access); types
implemented in C will have to provide a writable
\member{softspace} attribute.
+\strong{Note:} This attribute is not used to control the
+\keyword{print} statement, but to allow the implementation of
+\keyword{print} to keep track of its internal state.
\end{memberdesc}
\subsubsection{Internal Objects \label{typesinternal}}