Update install document formatting

docs/install.rst

@@ -19,10 +19,13 @@ to ensure needed device drivers are present.
 
 1. Open up the Arduino IDE and go to File->Preferences.
 2. In the dialog that pops up, enter the following URL in the "Additional Boards Manager URLs" field:  https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
+
    .. image:: images/install1.png
+
 3. Hit OK to close the dialog.
 4. Go to Tools->Boards->Board Manager in the IDE
 5. Type "pico" in the search box and select "Add":
+
    .. image:: images/install2.png
 
 Installing via GIT
@@ -52,7 +55,7 @@ If you follow their step-by-step you will also have a fully functional
 ecosystem.
 
 Uploading Sketches
-
+------------------
 To upload your first sketch, you will need to hold the BOOTSEL button down while plugging in the Pico to your computer.
 Then hit the upload button and the sketch should be transferred and start to run.
 
@@ -64,17 +67,19 @@ Them hit the upload button and your sketch should upload and run.
 In some cases the Pico will encounter a hard hang and its USB port will not respond to the auto-reset request.  Should this happen, just
 follow the initial procedure of holding the BOOTSEL button down while plugging in the Pico to enter the ROM bootloader.
 
-# Uploading Filesystem Images
+Uploading Filesystem Images
+---------------------------
 The onboard flash filesystem for the Pico, LittleFS, lets you upload a filesystem image from the sketch directory for your sketch to use.  Download the needed plugin from
 * https://github.com/earlephilhower/arduino-pico-littlefs-plugin/releases
 
 To install, follow the directions in 
 * https://github.com/earlephilhower/arduino-pico-littlefs-plugin/blob/master/README.md 
 
-For detailed usage information, please check the ESP8266 repo documentation (ignore SPIFFS related notes) available at
-* https://arduino-esp8266.readthedocs.io/en/latest/filesystem.html
+For detailed usage information, please check the repo documentation available at
+* https://arduino-pico.readthedocs.io/en/latest/fs.html
 
-# Uploading Sketches with Picoprobe
+Uploading Sketches with Picoprobe
+---------------------------------
 If you have built a Raspberry Pi Picoprobe, you can use OpenOCD to handle your sketch uploads and for debugging with GDB.
 
 Under Windows a local admin user should be able to access the Picoprobe port automatically, but under Linux `udev` must be told about the device and to allow normal users access.
@@ -90,5 +95,6 @@ The first line creates a file with the USB vendor and ID of the Picoprobe and te
 
 Once Picoprobe permissions are set up properly, then select the board "Raspberry Pi Pico (Picoprobe)" in the Tools menu and upload as normal.
 
-# Debugging with Picoprobe, OpenOCD, and GDB
+Debugging with Picoprobe, OpenOCD, and GDB
+------------------------------------------
 The installed tools include a version of OpenOCD (in the pqt-openocd directory) and GDB (in the pqt-gcc directory).  These may be used to run GDB in an interactive window as documented in the Pico Getting Started manuals from the Raspberry Pi Foundation.