initial support for the Pixel 3a and Pixel 3a XL

3 files changed, 17 insertions, 16 deletions

diff --git a/static/index.html b/static/index.html
index 7fb03edd..e7b5ecd0 100644
--- a/static/index.html
+++ b/static/index.html
@@ -106,16 +106,17 @@
                 <a href="#device-support">Device support</a>
             </h2>
             <p>In the current early stage of the project, GrapheneOS provides production releases
-            for the Pixel, Pixel XL, Pixel 2, Pixel 2 XL, Pixel 3 and Pixel 3 XL. It will support
-            other devices in the future, but devices are carefully chosen based on their merits
-            rather than the project aiming to have broad device support. Broad device support is
-            counter to the aims of the project, and the project will eventually be engaging in
-            hardware and firmware level improvements rather than only offering suggestions and bug
-            reports upstream for those areas. Much of the work on the project involves changes
-            that are specific to different devices, and officially supported devices are the ones
-            targeted by most of this ongoing work. GrapheneOS also has source level support
-            without device-specific hardening for the Android emulator, HiKey, HiKey 960 and also
-            generic targets providing basic support for many other devices.</p>
+            for the Pixel, Pixel XL, Pixel 2, Pixel 2 XL, Pixel 3, Pixel 3 XL, Pixel 3a and Pixel
+            3a XL. It will support other devices in the future, but devices are carefully chosen
+            based on their merits rather than the project aiming to have broad device support.
+            Broad device support is counter to the aims of the project, and the project will
+            eventually be engaging in hardware and firmware level improvements rather than only
+            offering suggestions and bug reports upstream for those areas. Much of the work on the
+            project involves changes that are specific to different devices, and officially
+            supported devices are the ones targeted by most of this ongoing work. GrapheneOS also
+            has source level support without device-specific hardening for the Android emulator,
+            HiKey, HiKey 960 and also generic targets providing basic support for many other
+            devices.</p>
             <p>Devices need to be meet the standards of the project in order to be considered as
             potential targets. In addition to support for installing other operating systems,
             standard hardware-based security features like the hardware-backed keystores, verified
diff --git a/static/install.html b/static/install.html
index c9b3b939..79a21807 100644
--- a/static/install.html
+++ b/static/install.html
@@ -161,8 +161,8 @@ TMPDIR="$PWD/tmp" ./flash-all.sh</pre>
             <p>Installation of the stock OS via the stock factory images is the same process
             described above. However, before locking, there's an additional step to fully revert
             the device to a clean factory state on modern devices with Android Verified Boot 2.0
-            (AVB) like the Pixel 2, Pixel 2 XL, Pixel 3 and Pixel 3 XL. It isn't necessary for
-            devices with legacy verified boot like the Pixel and Pixel XL.</p>
+            (AVB) like the Pixel 2, Pixel 2 XL, Pixel 3, Pixel 3 XL, Pixel 3a and Pixel 3a XL. It
+            isn't necessary for devices with legacy verified boot like the Pixel and Pixel XL.</p>
             <p>The GrapheneOS factory images flash a non-stock Android Verified Boot key which
             needs to be erased to fully revert back to a stock device state. After flashing the
             stock factory images and before locking the bootloader, you should erase the custom
diff --git a/static/releases.html b/static/releases.html
index 30188ed0..6dd22956 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -75,7 +75,7 @@
                     <a href="#stable-channel">Stable channel</a>
                 </h2>
 
-                <section id="bonito-stable" class="hidden">
+                <section id="bonito-stable">
                     <h3>
                         <a href="#bonito-stable">Pixel 3a XL (experimental)</a>
                     </h3>
@@ -86,7 +86,7 @@
                         <li><a href="https://releases.grapheneos.org/bonito-ota_update-2019.06.13.16.zip">bonito-ota_update-2019.06.13.16.zip</a></li>
                     </ul>
                 </section>
-                <section id="sargo-stable" class="hidden">
+                <section id="sargo-stable">
                     <h3>
                         <a href="#sargo-stable">Pixel 3a (experimental)</a>
                     </h3>
@@ -170,7 +170,7 @@
                     <a href="#beta-channel">Beta channel</a>
                 </h2>
 
-                <section id="bonito-beta" class="hidden">
+                <section id="bonito-beta">
                     <h3>
                         <a href="#bonito-beta">Pixel 3a XL (experimental)</a>
                     </h3>
@@ -181,7 +181,7 @@
                         <li><a href="https://releases.grapheneos.org/bonito-ota_update-2019.06.13.16.zip">bonito-ota_update-2019.06.13.16.zip</a></li>
                     </ul>
                 </section>
-                <section id="sargo-beta" class="hidden">
+                <section id="sargo-beta">
                     <h3>
                         <a href="#sargo-beta">Pixel 3a (experimental)</a>
                     </h3>