You are just guessing. No, they manually update those, because you need the checksum.
A tip never use any tool that downloads something without checking a checksum, because you have no idea if the source you are downloading is still the same, it could be anything.
Bought the budget version, pixel 6a. I have nothing but good experience with it. It is the best phone I’ve had, never again spending money on flag ship phones. This shit cost me about $250, and it feels, looks good and faster than my previous bloatware s10 - which cost me $1100 brand new, the battery and the camera was shit, had it for 3 years, couldn’t stand having it another year.
In a couple of years I’ll by a new low budget phone. You don’t need a flag ship phone trust me, if it’s not for the camera, but then I’d buy an iPhone.