Document string multiplication and division

diff --git a/docs/content/3.manual/manual.yml b/docs/content/3.manual/manual.yml
index 2d516a4f92e1ed5b1bf5236ad726200e81b1a9f2..8832ceb2c908f554153d4408ef483f631e628f50 100644 (file)
--- a/docs/content/3.manual/manual.yml
+++ b/docs/content/3.manual/manual.yml
@@ -463,10 +463,19 @@ sections:
 
           These operators only work on numbers, and do the expected.
 
+          Multiplying a string by a number produces the concatenation of
+          that string that many times.
+
+          Dividing a string by another splits the first using the second
+          as separators.
+
         examples:
           - program: '10 / . * 3'
             input: 5
             output: [6]
+          - program: '. / ", "'
+            input: '"a, b,c,d, e"'
+            output: ['["a","b,c,d","e"]']
 
       - title: `length`
         body: |