diff --git a/static/releases.html b/static/releases.html
index f2837d2a..173c1dff 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -585,6 +585,7 @@
fix issue with prototype device check causing the warning to be shown on non-Pixel phones without the ro.boot.secure_boot
property
add back AvoidAppsInCutoutOverlay since this cutout mode is no longer broken on Android 13
fix upstream Android 13 user logout bug causing end session to be broken
+ drop workaround for slow lockscreen animation which is fixed in Android 13
kernel (Pixel 4, Pixel 4 XL, Pixel 4a, Pixel 4a (5G), Pixel 5, Pixel 5a): switch to kernel manifests instead of including the kernel source trees in the OS source tree with submodules for the module repositories
kernel (Pixel 4, Pixel 4 XL, Pixel 4a, Pixel 4a (5G), Pixel 5, Pixel 5a): switch to AOSP kernel build system
kernel (Pixel 4, Pixel 4 XL, Pixel 4a, Pixel 4a (5G), Pixel 5, Pixel 5a): use dynamic kernel modules matching AOSP / stock OS instead of using monolithic kernel builds to avoid further issues from driver bugs with monolithic kernel builds (this was a useful feature but maintenance has become too difficult and the advantages of Generic Kernel Images for 6th generation Pixels and beyond outweigh the benefits so this was already phased out for 6th generation devices)