Thanks for the clarifications John. This is good news to me, though I'm not sure how it squares with other stuff I've read.
For example, maybe the xxx-64 were updated at some point ?
They certainly now have a nice big 64 tacked on the end of their filenames.
I have been wondering how they could be running without bitbridge.
Apologies to all for introducing confusion into this thread.