Deployed c86ca30 to dev with MkDocs 1.3.0 and mike 1.1.2

Author: ArduinoBot

dev/library-specification/index.html

@@ -1754,9 +1754,8 @@ <h1>Library specification</h1>
 The Library Manager allows users to automatically download and install libraries needed in their projects, with an easy
 to use graphical interface in the
 <a href="https://docs.arduino.cc/software/ide-v1/tutorials/installing-libraries#using-the-library-manager">Arduino IDE</a>/<a href="https://docs.arduino.cc/software/ide-v2/tutorials/ide-v2-installing-a-library#installing-a-library">Arduino IDE 2.0</a>
-and
-<a href="https://create.arduino.cc/projecthub/Arduino_Genuino/getting-started-with-arduino-web-editor-on-various-platforms-4b3e4a#toc-libraries-and-the-arduino-web-editor-11">Arduino Web Editor</a>
-as well as <a href="../commands/arduino-cli_lib/"><code>arduino-cli lib</code></a>.</p>
+and <a href="https://docs.arduino.cc/arduino-cloud/guides/editor/#library-manager">Arduino Cloud Editor</a> as well as
+<a href="../commands/arduino-cli_lib/"><code>arduino-cli lib</code></a>.</p>
 <p>More information about how Library Manager works is available
 <a href="https://github.com/arduino/library-registry/blob/main/FAQ.md#readme">here</a>.</p>
 <p>Arduino development software supports multiple microcontroller architectures (e.g. AVR, SAM, etc), meaning that