In the section “What is in the Ledger?” you have:
“All Decentralized Identifier (DID), verinym and pairwise-unique DID, and corresponding verifying key (verkey)”
From the docs I’ve looked at, it’s not clear that Alice’s DIDs (pairwise-unique) are stored in the ledger. I also can’t see any particular reason they need to be as Alice can establish her connection with Acme / Faber by querying their endpoint and then publishing her details over that (and authenticating).
Having said that, the docs aren’t 100% clear — possibly it is optional.