Update Mbed Crypto references to Mbed TLS
diff --git a/docs/psa/index.html b/docs/psa/index.html
index 89a4b83..b8ffeb4 100644
--- a/docs/psa/index.html
+++ b/docs/psa/index.html
@@ -4,7 +4,7 @@
<p>The PSA Cryptography API is a C programming interface for applications that wish to store cryptographic keys and use them to perform cryptographic operations.</p>
<p><strong>Status: released</strong> — version 1.0.0.</p>
<p><strong>Reference documentation</strong>: <a href="../html/index.html">HTML</a>, <a href="../PSA_Cryptography_API_Specification.pdf">PDF</a></p>
-<p><strong>Reference implementation</strong>: <a href="https://github.com/ARMmbed/mbed-crypto">Mbed Crypto</a></p>
+<p><strong>Reference implementation</strong>: <a href="https://github.com/ARMmbed/mbed-tls">Mbed TLS</a></p>
<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>
@@ -17,4 +17,4 @@
<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/mbedtls/labels/api-spec">issue on the Mbed TLS 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>