Update documentation

This is the result of running `python build_docs.py`. We now have a
CI/CD pipeline for generating documentation so the actual HTML output is
not part of the repository anymore.

docs/modules/functions.rst

@@ -1840,6 +1840,11 @@ Operators
    :nocontentsentry:
 
 
+.. function:: mul(x: Vector[Any,Scalar], y: Matrix[Any,Any,Scalar]) -> Vector[Any,Scalar]
+   :noindex:
+   :nocontentsentry:
+
+
 .. function:: mul(x: Matrix[Any,Any,Scalar], y: Matrix[Any,Any,Scalar])
    :noindex:
    :nocontentsentry:
@@ -1871,16 +1876,31 @@ Operators
    :nocontentsentry:
 
 
+.. function:: div(x: Scalar, y: Vector[Any,Scalar]) -> Vector[Any,Scalar]
+   :noindex:
+   :nocontentsentry:
+
+
 .. function:: div(x: Matrix[Any,Any,Scalar], y: Scalar) -> Matrix[Any,Any,Scalar]
    :noindex:
    :nocontentsentry:
 
 
+.. function:: div(x: Scalar, y: Matrix[Any,Any,Scalar]) -> Matrix[Any,Any,Scalar]
+   :noindex:
+   :nocontentsentry:
+
+
 .. function:: div(x: Quaternion[Scalar], y: Scalar) -> Quaternion[Scalar]
    :noindex:
    :nocontentsentry:
 
 
+.. function:: div(x: Scalar, y: Quaternion[Scalar]) -> Quaternion[Scalar]
+   :noindex:
+   :nocontentsentry:
+
+
 .. function:: floordiv(x: Scalar, y: Scalar) -> Scalar