Merge branch 'dev'

Author: stijnh

docs/build_api.py

@@ -84,7 +84,7 @@ def build_index_page(groups):
             "broadcast",
             "convert",
             "make_vec",
-            "into_vector",
+            "into_vec",
             "concat",
             "select",
             "for_each",