improve doc comment

Author: andrew-fleming

contracts/src/crypto/ElGamal.compact

@@ -111,10 +111,10 @@ module ElGamal {
    *
    * @dev Domain separation here is load-bearing, not cosmetic. This output is
    * the private key protecting every ciphertext held under an account. Public
-   * account identifiers elsewhere in the library are derived as
-   * `persistentHash([secretKey])` (`Utils.computeAccountId`), and that
-   * identifier is stored in the clear as a ledger map key. Untagged, this
-   * circuit would compute that same hash, so a secret used in both roles would
+   * account identifiers derived from `Utils.computeAccountId`, for example,
+   * are computed as `persistentHash([secretKey])`, and that identifier
+   * is stored in the clear as a ledger map key. Untagged, this circuit
+   * would compute that same hash, so a secret used in both roles would
    * have its encryption key recoverable from a published identifier by applying
    * `degradeToTransient`. The tag makes the two derivations unrelated, so a
    * wallet MAY safely derive its account secret and its encryption secret from