Replace "Arduino Pro IDE" with proper link to Arduino IDE 2.0 (#1309)

* Replace "Arduino Pro IDE" with proper link to Arduino IDE 2.0

* Run prettier

Author: Roberto Sora

Diff for: docs/library-specification.md

@@ -7,7 +7,9 @@ This is the specification for the Arduino library format, to be used with Arduin
 
 This new library format is intended to be used in tandem with **Library Manager**, available since Arduino IDE 1.6.2.
 The Library Manager allows users to automatically download and install libraries needed in their projects, with an easy
-to use graphical interface in the [Arduino IDE](https://www.arduino.cc/en/guide/libraries#toc3)/Pro IDE and
+to use graphical interface in the
+[Arduino IDE](https://www.arduino.cc/en/guide/libraries#toc3)/[Arduino IDE 2.0](https://www.arduino.cc/en/Tutorial/getting-started-with-ide-v2/ide-v2-installing-a-library#installing-a-library)
+and
 [Arduino Web Editor](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)
 as well as [`arduino-cli lib`](commands/arduino-cli_lib.md).