Withdrawn from use but never deleted — the URI resolves forever so historic credentials stay verifiable.
retired