diff --git a/docs/psa/accel/index.html b/docs/psa/accel/index.html
index 3f56b8b..d3c4825 100644
--- a/docs/psa/accel/index.html
+++ b/docs/psa/accel/index.html
@@ -1,5 +1,5 @@
 <h1 id="psa-cryptographic-accelerator-interface">PSA cryptographic accelerator interface</h1>
-<p>The accelerator interface lets you drivers for cryptographic accelerators into an implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>. Cryptographic accelerators perform cryptographic operations with keys in clear text.</p>
+<p>The cryptographic accelerator driver interface lets you write drivers for hardware that performs cryptographic operations with keys in clear text. You can plug such drivers into any implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
 <p><strong>Status: draft</strong> — major changes are still likely.</p>
 <p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_accel_driver.h"><code>include/psa/crypto_accel_driver.h</code></a></p>
 <p><strong>Mbed Crypto support status</strong>: Not implemented yet. For now, accelerators use the <a href="https://tls.mbed.org/kb/development/hw_acc_guidelines">Mbed TLS alternative cryptography engine interface</a>.</p>
diff --git a/docs/psa/entropy/index.html b/docs/psa/entropy/index.html
index 67272fe..4784293 100644
--- a/docs/psa/entropy/index.html
+++ b/docs/psa/entropy/index.html
@@ -1,5 +1,5 @@
 <h1 id="psa-entropy-source-driver-interface">PSA entropy source driver interface</h1>
-<p>The accelerator interface lets you drivers for entropy sources such as Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG), into an implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
+<p>The entropy source driver interface lets you write drivers for Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG). You can plug such drivers into any implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
 <p><strong>Status: draft</strong> — major changes are still likely.</p>
 <p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_entropy_driver.h"><code>include/psa/crypto_entropy_driver.h</code></a></p>
 <p><strong>Mbed Crypto support status</strong>: Not implemented yet. For now, entropy sources use the <a href="https://tls.mbed.org/kb/how-to/add-entropy-sources-to-entropy-pool">Mbed TLS entropy module</a>.</p>
diff --git a/docs/psa/index.html b/docs/psa/index.html
index f3bf48e..2ab33ec 100644
--- a/docs/psa/index.html
+++ b/docs/psa/index.html
@@ -8,13 +8,13 @@
 <h2 id="hardware-abstraction-layer">Hardware abstraction layer</h2>
 <p>PSA includes functional specifications describing a hardware abstraction layer covering <a href="accel/">cryptographic accelerators</a>, <a href="se/">secure elements</a> and <a href="entropy/">entropy sources</a>.</p>
 <h3 id="accelerator-driver-interface">Accelerator driver interface</h3>
-<p>The accelerator interface lets you drivers for cryptographic accelerators into an implementation of the PSA Cryptography API. Cryptographic accelerators perform cryptographic operations with keys in clear text.</p>
+<p>The cryptographic accelerator driver interface lets you write drivers for hardware that performs cryptographic operations with keys in clear text. You can plug such drivers into any implementation of the PSA Cryptography API.</p>
 <p>For more information, see <a href="accel/">PSA cryptography accelerator driver interface</a>.</p>
 <h3 id="secure-element-driver-interface">Secure element driver interface</h3>
-<p>The accelerator interface lets you drivers for external cryptoprocessors into an implementation of the PSA Cryptography API. External cryptoprocessors such as secure elements and smart cards perform cryptographic operations with keys accessed via opaque handles.</p>
+<p>The secure element driver interface lets you write drivers for external cryptoprocessors such as secure elements (SE), smart cards and hardware security modules (HSM) that perform operations on keys that never leave the external processor and are accessed only through opaque handles. You can plug such drivers into any implementation of the PSA Cryptography API.</p>
 <p>For more information, see <a href="se/">PSA secure element driver interface</a>.</p>
 <h3 id="entropy-source-driver-interface">Entropy source driver interface</h3>
-<p>The accelerator interface lets you drivers for entropy sources such as Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG), into an implementation of the PSA Cryptography API.</p>
+<p>The entropy source driver interface lets you write drivers for Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG). You can plug such drivers into any implementation of the PSA Cryptography API.</p>
 <p>For more information, see <a href="entropy/">PSA entropy source driver interface</a>.</p>
 <h2 id="feedback">Feedback</h2>
-<p>Arm welcomes feedback on the design of the PSA cryptography interfaces. If you think something could be improved, please open an <a href="https://github.com/ARMmbed/mbed-crypto/labels/api-spec">issue on the Mbed Crypto Github repository</a>. Alternatively, if you prefer to provide your feedback privately, please email us at <code>mbed-crypto@arm.com</code>. All feedback received by email is treated confidentially.</p>
+<p>Arm welcomes feedback on the design of the PSA cryptography interfaces. If you think something could be improved, please open an <a href="https://github.com/ARMmbed/mbed-crypto/labels/api-spec">issue on the Mbed Crypto GitHub repository</a>. Alternatively, if you prefer to provide your feedback privately, please email us at <code>mbed-crypto@arm.com</code>. All feedback received by email is treated confidentially.</p>
diff --git a/docs/psa/se/index.html b/docs/psa/se/index.html
index 10977ef..1574c94 100644
--- a/docs/psa/se/index.html
+++ b/docs/psa/se/index.html
@@ -1,5 +1,5 @@
 <h1 id="psa-secure-element-driver-interface">PSA secure element driver interface</h1>
-<p>The accelerator interface lets you drivers for external cryptoprocessors into an implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>. External cryptoprocessors such as secure elements and smart cards perform cryptographic operations with keys accessed via opaque handles.</p>
+<p>The secure element driver interface lets you write drivers for external cryptoprocessors such as secure elements (SE), smart cards and hardware security modules (HSM) that perform operations on keys that never leave the external processor and are accessed only through opaque handles. You can plug such drivers into any implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
 <p><strong>Status: draft</strong> — major changes are still likely.</p>
 <p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_se_driver.h"><code>include/psa/crypto_se_driver.h</code></a></p>
 <p><strong>Mbed Crypto support status</strong>: Partial. Only a few operations are supported: key pair generation, import, export and destruction; signature and verification.</p>