diff --git a/doc/DevSetup.md b/doc/DevSetup.md
index b87cab1fd..2a3245a0f 100644
--- a/doc/DevSetup.md
+++ b/doc/DevSetup.md
@@ -56,6 +56,8 @@ On Linux only, you need to install all the necessary dependencies before going f
 ./build/install-build-deps.sh
 ```
 
+If building for Android (which requires Linux), switch to the [Android steps](https://chromium.googlesource.com/angle/angle.git/+/HEAD/doc/DevSetupAndroid.md) at this point.
+
 After this completes successfully, you are ready to generate the ninja files:
 ```
 gn gen out/Debug
diff --git a/doc/DevSetupAndroid.md b/doc/DevSetupAndroid.md
index f7659eb62..bc2dfc60d 100644
--- a/doc/DevSetupAndroid.md
+++ b/doc/DevSetupAndroid.md
@@ -229,6 +229,10 @@ a GN arg:
 angle_expose_non_conformant_extensions_and_versions = true
 ```
 
+## Accessing ANGLE traces
+
+To sync and build the ANGLE traces, jump to [ANGLE Restricted Traces](https://chromium.googlesource.com/angle/angle.git/+/HEAD/src/tests/restricted_traces/README.md#angle-restricted-traces).
+
 ## Command line for launching chrome on Android
 
 [This Makefile](https://github.com/phuang/test/blob/main/chromium/Makefile) contains many useful