"Thin" version of floor division docs:  add // to the list of operators
and //= to the list of other delimiter tokens.

I'll work on it again when it's not so late...
diff --git a/Doc/ref/ref2.tex b/Doc/ref/ref2.tex
index 02c05cd..0e4ea26 100644
--- a/Doc/ref/ref2.tex
+++ b/Doc/ref/ref2.tex
@@ -563,7 +563,7 @@
 \index{operators}
 
 \begin{verbatim}
-+       -       *       **      /       %
++       -       *       **      /       //      %
 <<      >>      &       |       ^       ~
 <       >       <=      >=      ==      !=      <>
 \end{verbatim}
@@ -581,8 +581,8 @@
 \begin{verbatim}
 (       )       [       ]       {       }
 ,       :       .       `       =       ;
-+=      -=      *=      /=      %=      **=
-&=      |=      ^=      >>=     <<=
++=      -=      *=      /=      //=     %=
+&=      |=      ^=      >>=     <<=     **=
 \end{verbatim}
 
 The period can also occur in floating-point and imaginary literals.  A