Apply suggestions from code review

Co-authored-by: Alessio Perugini <alessio@perugini.xyz>
arduino · cmaglie · Nov 27, 2024 · Nov 20, 2024 · Nov 21, 2024 · Nov 21, 2024
commit 195977bbb1305a266d1e39b197fd95b5043d6e4c
diff --git a/docs/configuration.md b/docs/configuration.md
@@ -9,7 +9,7 @@
   - `downloads` - directory used to stage downloaded archives during Boards/Library Manager installations.
   - `user` - the equivalent of the Arduino IDE's ["sketchbook" directory][sketchbook directory]. Library Manager
     installations are made to the `libraries` subdirectory of the user directory. Users can manually install 3rd party
-    platforms in the `hardware` subdirecotry of the user directory.
+    platforms in the `hardware` subdirectory of the user directory.
   - `builtin.libraries` - the libraries in this directory will be available to all platforms without the need for the
     user to install them, but with the lowest priority over other installed libraries with the same name, it's the
     equivalent of the Arduino IDE's bundled libraries directory.

diff --git a/docs/platform-specification.md b/docs/platform-specification.md
@@ -52,7 +52,7 @@ In this latter case the version is omitted.
 We can also see that the vendor "arduino" has two supported architectures (AVR and SAM), while "foo" and "bar" have only
 AVR.
 
-### Notes about the choosing the architecture name
+### Notes about choosing the architecture name
 
 Architecture values are case sensitive (e.g. `AVR` != `avr`).