Update "About" post to reflect true scope of "Arduino Command Line Tools" category

This category was originally named "Arduino CLI", and limited to the subject of that specific tool. The category's scope
was later expanded to all official command line tools, but the category's "About the Arduino Command Line Tools
category" post was not updated at that time.

The post is hereby updated to accurately describe the purpose of the category.

Author: per1234

content/categories/development-tools/arduino-command-line-tools/_topics/about-the-arduino-command-line-tools-category/1.md

@@ -1,13 +1,10 @@
-Welcome to the forum board for Arduino CLI!
+Discussion about official Arduino command line tools
 
-Arduino CLI is a tool for [compiling](https://arduino.github.io/arduino-cli/latest/commands/arduino-cli_compile/) and [uploading](https://arduino.github.io/arduino-cli/latest/commands/arduino-cli_upload/) Arduino sketches, [installing libraries](https://arduino.github.io/arduino-cli/latest/commands/arduino-cli_lib/), and [managing boards](https://arduino.github.io/arduino-cli/latest/commands/arduino-cli_core/). It is the heart of the Arduino IDE, Arduino Cloud Editor, and Arduino Pro IDE.
+In addition to the GUI-based tools like **Arduino IDE**, Arduino offers various command line tools to facilitate project development.
 
-As the "CLI" (command line interface) part of its name suggests, Arduino CLI may be used from the command line. In addition, Arduino CLI provides a [gRPC interface](https://arduino.github.io/arduino-cli/latest/rpc/commands/) and can be used as a Go module, which permits powerful integration with other software.
+Use this category for topics where the primary subject matter is one of the official Arduino command line tools. These include:
 
-This forum board is for any questions you have about using Arduino CLI.
-
-Documentation and installation instructions:
-<https://arduino.github.io/arduino-cli>
-
-GitHub repository:
-<https://github.com/arduino/arduino-cli>
+- [**Arduino CLI**](https://arduino.github.io/arduino-cli/latest/)
+- [**Arduino Firmware Uploader**](https://arduino.github.io/arduino-fwuploader/)
+- [**Arduino Language Server**](https://github.com/arduino/arduino-language-server)
+- [**Arduino Lint**](https://arduino.github.io/arduino-lint/)