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

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
+            for the Pixel, Pixel XL, Pixel 2, Pixel 2 XL, Pixel 3, Pixel 3 XL, Pixel 3a and Pixel
-            other devices in the future, but devices are carefully chosen based on their merits
+            3a XL. It will support other devices in the future, but devices are carefully chosen
-            rather than the project aiming to have broad device support. Broad device support is
+            based on their merits rather than the project aiming to have broad device support.
-            counter to the aims of the project, and the project will eventually be engaging in
+            Broad device support is counter to the aims of the project, and the project will
-            hardware and firmware level improvements rather than only offering suggestions and bug
+            eventually be engaging in hardware and firmware level improvements rather than only
-            reports upstream for those areas. Much of the work on the project involves changes
+            offering suggestions and bug reports upstream for those areas. Much of the work on the
-            that are specific to different devices, and officially supported devices are the ones
+            project involves changes that are specific to different devices, and officially
-            targeted by most of this ongoing work. GrapheneOS also has source level support
+            supported devices are the ones targeted by most of this ongoing work. GrapheneOS also
-            without device-specific hardening for the Android emulator, HiKey, HiKey 960 and also
+            has source level support without device-specific hardening for the Android emulator,
-            generic targets providing basic support for many other devices.</p>
+            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

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
+            (AVB) like the Pixel 2, Pixel 2 XL, Pixel 3, Pixel 3 XL, Pixel 3a and Pixel 3a XL. It
-            devices with legacy verified boot like the Pixel and Pixel XL.</p>
+            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

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>