diff --git a/static/build.html b/static/build.html
index 992129f8..c308cc26 100644
--- a/static/build.html
+++ b/static/build.html
@@ -310,8 +310,17 @@
                         including the emulator, porting to other devices and for non-legacy
                         officially supported devices.</p>
 
-                        <p>The <code>13</code> branch is used for 4th, 5th, 6th and 7th generation
-                        Pixels, generic / emulator targets and non-Pixel devices:</p>
+                        <p>The <code>13</code> branch is used for most Pixels, generic / emulator
+                        targets and non-Pixel devices.</p>
+
+                        <p>The <code>13-lynx</code> branch is used for the newly launched Pixel 7a
+                        since there hasn't been a quarterly or yearly release to merge in support
+                        for it yet.</p>
+
+                        <p>The <code>13-coral</code> branch is used for the end-of-life Pixel 4
+                        and Pixel 4 XL due to incompatibilities with certain new changes.</p>
+
+                        <p>To sync the <code>13</code> branch:</p>
 
                         <pre>mkdir grapheneos-13
 cd grapheneos-13