They repeatedly compare to Intel and AMD cores though, which are x86. If they’re worth a mention, then so are some of the other ARM consumer desktop chips on the market regardless of who designed them. Apple was one of the closest ARM chips they could have compared to.

Your “specifically ARM cores designed by and licensable from ARM Holdings” argument doesn’t hold any water.