Thank you for your reply GrapheneOS
I know that the kernel and firmware updates from that Pixel3a were from last year August or so, and that it's not officially supported by GrapheneOS anymore - sorry in case it sounded wrong, never meant that.
And although it's a bit off-topic in this thread (maybe we can start another one for this?), I'm a bit reluctant to send perfectly working hardware to the landfill, and the same will apply to my daughter's Pixel 4a 5G coming November or so. We both love the headphone jacks, so for her a 7a wouldn't be a good replacement. So what would be your advice for older hardware, without kernel and firmware support from companies like Qualcomm and Google? "Giving away" such hardware only puts the problems on others' shoulders...