Add docker --platform note (#1445)

* add docker platform tip

* specifically add macos/arm

Author: nerpaula

3.10/install-with-docker.md

@@ -30,6 +30,15 @@ In order to start an ArangoDB instance, run:
 docker run -e ARANGO_RANDOM_ROOT_PASSWORD=1 -d --name arangodb-instance arangodb
 ```
 
+Note that on macOS/ARM, the default chosen processor architecture may not be
+the best choice.
+To override this, you can pass the `--platform` flag to the command, specifying
+the operating system and architecture you want to build for:
+
+```
+docker run --platform linux/arm64/v8 -p 8529:8529 -e ARANGO_ROOT_PASSWORD=1 arangodb-instance arangodb
+```
+
 This creates and launches the ArangoDB Docker instance as a background process.
 The identifier of the process is printed. By default, ArangoDB listens on port
 `8529` for requests and the image includes `EXPOSE 8529`. If you link an

3.11/install-with-docker.md

@@ -30,6 +30,15 @@ In order to start an ArangoDB instance, run:
 docker run -e ARANGO_RANDOM_ROOT_PASSWORD=1 -d --name arangodb-instance arangodb
 ```
 
+Note that on macOS/ARM, the default chosen processor architecture may not be
+the best choice.
+To override this, you can pass the `--platform` flag to the command, specifying
+the operating system and architecture you want to build for:
+
+```
+docker run --platform linux/arm64/v8 -p 8529:8529 -e ARANGO_ROOT_PASSWORD=1 arangodb-instance arangodb
+```
+
 This creates and launches the ArangoDB Docker instance as a background process.
 The identifier of the process is printed. By default, ArangoDB listens on port
 `8529` for requests and the image includes `EXPOSE 8529`. If you link an

3.12/install-with-docker.md

@@ -30,6 +30,15 @@ In order to start an ArangoDB instance, run:
 docker run -e ARANGO_RANDOM_ROOT_PASSWORD=1 -d --name arangodb-instance arangodb
 ```
 
+Note that on macOS/ARM, the default chosen processor architecture may not be
+the best choice.
+To override this, you can pass the `--platform` flag to the command, specifying
+the operating system and architecture you want to build for:
+
+```
+docker run --platform linux/arm64/v8 -p 8529:8529 -e ARANGO_ROOT_PASSWORD=1 arangodb-instance arangodb
+```
+
 This creates and launches the ArangoDB Docker instance as a background process.
 The identifier of the process is printed. By default, ArangoDB listens on port
 `8529` for requests and the image includes `EXPOSE 8529`. If you link an