Thank you for beating Google to it!
I am concerned for Pixel 4a 5G. It is supposed to receive Android 14, but initial releases of Android 14 are bound to have many bugs, just like any major OS version update/release. Yet, Google's support for Pixel 4a 5G will end next month, users of the device will end up stuck with early version of Android 14, and only receive the frozen version updates from GrapheneOS. I assume downgrading from Android 14 to Android 13 will be blocked.