This has cleared up a lot of confusion for me!
Slightly tangential, but can people recommend a good site for finding hardware available to purchase for specific ARM versions? In particular, when hardware implementing a new ARM version (e.g. 8.5 or 9) becomes available, where should I be keeping an eye on?
Alternatively, what manufacturers are usually the first to produce new ARM hardware?