Add a note about rounding up of readlines()' sizehint to 8K.
diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index 6cb66f9..dfe1ecb 100644
--- a/Doc/lib/libtypes.tex
+++ b/Doc/lib/libtypes.tex
@@ -737,7 +737,8 @@
Read until \EOF{} using \code{readline()} and return a list containing
the lines thus read. If the optional \var{sizehint} argument is
present, instead of reading up to \EOF{}, whole lines totalling
- approximately \var{sizehint} bytes are read.
+ approximately \var{sizehint} bytes (possibly after rounding up to an
+ internal buffer size) are read.
\end{funcdesc}
\begin{funcdesc}{seek}{offset\, whence}
diff --git a/Doc/libtypes.tex b/Doc/libtypes.tex
index 6cb66f9..dfe1ecb 100644
--- a/Doc/libtypes.tex
+++ b/Doc/libtypes.tex
@@ -737,7 +737,8 @@
Read until \EOF{} using \code{readline()} and return a list containing
the lines thus read. If the optional \var{sizehint} argument is
present, instead of reading up to \EOF{}, whole lines totalling
- approximately \var{sizehint} bytes are read.
+ approximately \var{sizehint} bytes (possibly after rounding up to an
+ internal buffer size) are read.
\end{funcdesc}
\begin{funcdesc}{seek}{offset\, whence}