So I handed over my Samsung A72 to a child, and replaced it with a used Pixel 7a . I thought it would be smaller (I am tired of large phones!) and run better software.
It's an awful phone. No ANT support, no SD card, aggressive Google stuff everywhere, confusing and fiddly interface, and my plan to use #GrapheneOS has apparently been thwarted because bank apps now use Google, not Android, calls to check that they are on a secure phone.