Fixed broken links

Author: cmaglie

Diff for: docs/FAQ.md

@@ -26,9 +26,6 @@ something that we're trying to avoid.
 There are many excellent serial terminals to chose from. On Linux or macOS, you may already have [screen][screen]
 installed. On Windows, a good choice for command line usage is Plink, included with [PuTTY][putty].
 
-Arduino CLI does provide a gRPC interface which offers the capability for powerful integration with custom monitors. See
-the [Monitor service documentation][monitor service].
-
 ## Additional assistance
 
 If your question wasn't answered, feel free to ask on [Arduino CLI's forum board][1].
@@ -38,4 +35,3 @@ If your question wasn't answered, feel free to ask on [Arduino CLI's forum board
 [1]: https://forum.arduino.cc/index.php?board=145.0
 [screen]: https://www.gnu.org/software/screen/manual/screen.html
 [putty]: https://www.chiark.greenend.org.uk/~sgtatham/putty/
-[monitor service]: rpc/monitor.md

Diff for: mkdocs.yml

@@ -99,7 +99,6 @@ nav:
       - version: commands/arduino-cli_version.md
   - gRPC reference:
       - commands: rpc/commands.md
-      - monitor: rpc/monitor.md
       - settings: rpc/settings.md
       - debug: rpc/debug.md
   - configuration.md