diff --git a/static/source.html b/static/source.html
index b1172e34..bb9ad551 100644
--- a/static/source.html
+++ b/static/source.html
@@ -85,10 +85,7 @@
                     <li><a href="https://github.com/GrapheneOS/device_common">device_common</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_generic_goldfish">device_generic_goldfish</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_akita">device_google_akita</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_barbet">device_google_barbet</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_barbet-sepolicy">device_google_barbet-sepolicy</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_bluejay">device_google_bluejay</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_bramble">device_google_bramble</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_felix">device_google_felix</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_gs-common">device_google_gs-common</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_gs101">device_google_gs101</a></li>
@@ -98,9 +95,6 @@
                     <li><a href="https://github.com/GrapheneOS/device_google_lynx">device_google_lynx</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_pantah">device_google_pantah</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_raviole">device_google_raviole</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_redbull">device_google_redbull</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_redbull-sepolicy">device_google_redbull-sepolicy</a></li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_redfin">device_google_redfin</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_shusky">device_google_shusky</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_tangorpro">device_google_tangorpro</a></li>
                     <li><a href="https://github.com/GrapheneOS/device_google_zuma">device_google_zuma</a></li>
@@ -169,9 +163,6 @@
                 <p>GrapheneOS forks of AOSP kernel prebuilt repositories with the builds replaced with the GrapheneOS kernels built from the source repositories listed in the next section:</p>
 
                 <ul>
-                    <li><a href="https://github.com/GrapheneOS/device_google_coral-kernel">device_google_coral-kernel</a>: Pixel 4 and Pixel 4 XL kernel prebuilts.</li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_sunfish-kernel">device_google_sunfish-kernel</a>: Pixel 4a kernel prebuilts.</li>
-                    <li><a href="https://github.com/GrapheneOS/device_google_redbull-kernel">device_google_redbull-kernel</a>: Pixel 4a (5G), Pixel 5 and Pixel 5a kernel prebuilts.</li>
                     <li><a href="https://github.com/GrapheneOS/device_google_raviole-kernel">device_google_raviole-kernel</a>: Pixel 6 and Pixel 6 Pro kernel prebuilts.</li>
                     <li><a href="https://github.com/GrapheneOS/device_google_bluejay-kernel">device_google_bluejay-kernel</a>: Pixel 6a kernel prebuilts.</li>
                     <li><a href="https://github.com/GrapheneOS/device_google_pantah-kernel">device_google_pantah-kernel</a>: Pixel 7 and Pixel 7 Pro kernel prebuilts.</li>
@@ -185,17 +176,6 @@
                 <p>GrapheneOS forks of AOSP kernel repositories:</p>
 
                 <ul>
-                    <li><a href="https://github.com/GrapheneOS/kernel_manifest-coral">kernel_manifest-coral</a>: Kernel manifest for the Pixel 4, Pixel 4 XL and Pixel 4a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_build-coral">kernel_build-coral</a>: Kernel build system for the Pixel 4, Pixel 4 XL and Pixel 4a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_msm-coral">kernel_msm-coral</a>: Kernel sources for the Pixel 4, Pixel 4 XL and Pixel 4a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_msm-extra-coral">kernel_msm-extra-coral</a>: Kernel audio drivers for the Pixel 4, Pixel 4 XL and Pixel 4a.</li>
-
-                    <li><a href="https://github.com/GrapheneOS/kernel_manifest-redbull">kernel_manifest-redbull</a>: Kernel manifest for the Pixel 4a (5G), Pixel 5 and Pixel 5a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_build-redbull">kernel_build-redbull</a>: Kernel build system for the Pixel 4a (5G), Pixel 5 and Pixel 5a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_msm-redbull">kernel_msm-redbull</a>: Kernel sources for the Pixel 4a (5G), Pixel 5 and Pixel 5a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_msm-modules_qcacld-redbull">kernel_msm-modules_qcacld-redbull</a>: Kernel Wi-Fi driver for the Pixel 4a (5G), Pixel 5 and Pixel 5a.</li>
-                    <li><a href="https://github.com/GrapheneOS/kernel_msm-extra-redbull">kernel_msm-extra-redbull</a>: Kernel audio drivers for the Pixel 4a (5G), Pixel 5 and Pixel 5a.</li>
-
                     <li><a href="https://github.com/GrapheneOS/kernel_manifest-5.10">kernel_manifest-5.10</a>: Kernel manifest for the Generic Linux 5.10 kernel.</li>
                     <li><a href="https://github.com/GrapheneOS/kernel_common-5.10">kernel_common-5.10</a>: Generic Linux 5.10 kernel sources.</li>
                     <li><a href="https://github.com/GrapheneOS/kernel_manifest-5.15">kernel_manifest-5.15</a>: Kernel manifest for the Generic Linux 5.15 kernel.</li>