Yes, those are the two sources I listed
here as claiming to provide Tesla OEM adapters. All the remaining new sources (in 2022) appear to be preparing to provide Tesla-like (or cloned?) adapters (in coming months), or entirely different-in-appearance aftermarket adapters (similar to the original EVHub model from Ukraine, but manufactured in China). All may work fine, but at this point we can't really compare, since so many old and new adapters are either (a) not being released quite yet, (b) sold out, (c) allegedly being blocked by Tesla (I posit that
those are the ones we really want!), or otherwise unavailable. The A2Z and Harmio aftermarket adapters are currently available, I believe. (Is that right?)