diff --git a/static/build.html b/static/build.html
index d54678d4..2d83e0b1 100644
--- a/static/build.html
+++ b/static/build.html
@@ -149,8 +149,7 @@
             devices have stronger hardware / firmware security and hardware-based OS security
             features and are better development devices for that reason. It's not possible to work
             on everything via past generation devices. The best development devices are the Pixel
-            3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4 and Pixel 4 XL. Pixel 4a support is
-            still experimental and does not yet have a hardened Linux kernel.</p>
+            3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4, Pixel 4 XL and Pixel 4a.</p>
 
             <p>Generic targets:</p>
 
@@ -376,7 +375,7 @@ cd ../..</pre>
 
             <p>The kernel needs to be built in advance, since it uses a separate build system.</p>
 
-            <p>Prebuilts are provided for the Pixel 4 and 4 XL, so this step is optional for
+            <p>Prebuilts are provided for the Pixel 4, 4 XL and 4a so this step is optional for
             those. This will be done for the other devices in the future.</p>
 
             <p>List of kernels corresponding to officially supported devices:</p>
diff --git a/static/faq.html b/static/faq.html
index 63764a71..6479e99f 100644
--- a/static/faq.html
+++ b/static/faq.html
@@ -116,10 +116,10 @@
             </h3>
 
             <p>GrapheneOS has official production support for the Pixel 2 (legacy), Pixel 2 XL
-            (legacy), Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4 and Pixel 4 XL. The
-            release tags for these devices have official builds and updates available. These
-            devices meet the stringent privacy and security standards and have substantial
-            upstream and downstream hardening specific to the devices.</p>
+            (legacy), Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4 and Pixel 4 XL. Pixel 4a
+            support is experimental. The release tags for these devices have official builds and
+            updates available. These devices meet the stringent privacy and security standards and
+            have substantial upstream and downstream hardening specific to the devices.</p>
 
             <p>Many other devices are supported by GrapheneOS at a source level, and it can be
             built for them without modifications to the existing GrapheneOS source tree. Device
@@ -156,8 +156,8 @@
             </h3>
 
             <p>The recommended devices with the best hardware, firmware and software security
-            along with the longest future support time are the Pixel 4 and 4 XL. Once it's
-            supported, the Pixel 4a will also be recommended.</p>
+            along with the longest future support time are the Pixel 4, 4 XL and 4a. Pixel 4a
+            support is still experimental and it isn't supported by Auditor yet.</p>
 
             <p>On the Pixel 4 and 4 XL, support for fingerprint unlock as a secondary unlock
             mechanism has been removed and replaced with IR-based 3D facial scanning. GrapheneOS