Switch docs to HTTP

README.md

@@ -4,13 +4,13 @@
 
 RP2040 is a low-cost, high-performance microcontroller device with a large on-chip memory, symmetric dual-core processor complex, deterministic bus fabric, and rich peripheral set augmented with a unique Programmable I/O (PIO) subsystem, it provides professional users with unrivalled power and flexibility.
 
-* [Home](http://platformio.org/platforms/raspberrypi) (home page in PlatformIO Platform Registry)
+* [Home](https://registry.platformio.org/platforms/platformio/raspberrypi) (home page in the PlatformIO Registry)
-* [Documentation](http://docs.platformio.org/page/platforms/raspberrypi.html) (advanced usage, packages, boards, frameworks, etc.)
+* [Documentation](https://docs.platformio.org/page/platforms/raspberrypi.html) (advanced usage, packages, boards, frameworks, etc.)
 
 # Usage
 
 1. [Install PlatformIO](http://platformio.org)
-2. Create PlatformIO project and configure a platform option in [platformio.ini](http://docs.platformio.org/page/projectconf.html) file:
+2. Create PlatformIO project and configure a platform option in [platformio.ini](https://docs.platformio.org/page/projectconf.html) file:
 
 ## Stable version
 
@@ -32,4 +32,4 @@ board = ...
 
 # Configuration
 
-Please navigate to [documentation](http://docs.platformio.org/page/platforms/raspberrypi.html).
+Please navigate to [documentation](https://docs.platformio.org/page/platforms/raspberrypi.html).

examples/arduino-blink/README.md

@@ -1,7 +1,7 @@
 How to build PlatformIO based project
 =====================================
 
-1. [Install PlatformIO Core](http://docs.platformio.org/page/core.html)
+1. [Install PlatformIO Core](https://docs.platformio.org/page/core.html)
 2. Download [development platform with examples](https://github.com/platformio/platform-raspberrypi/archive/develop.zip)
 3. Extract ZIP archive
 4. Run these commands:

examples/arduino-blink/platformio.ini

@@ -5,7 +5,7 @@
 ;   Library options: dependencies, extra library storages
 ;
 ; Please visit documentation for the other options and examples
-; http://docs.platformio.org/page/projectconf.html
+; https://docs.platformio.org/page/projectconf.html
 
 [env]
 platform = raspberrypi

examples/arduino-external-libs/README.md

@@ -1,7 +1,7 @@
 How to build PlatformIO based project
 =====================================
 
-1. [Install PlatformIO Core](http://docs.platformio.org/page/core.html)
+1. [Install PlatformIO Core](https://docs.platformio.org/page/core.html)
 2. Download [development platform with examples](https://github.com/platformio/platform-raspberrypi/archive/develop.zip)
 3. Extract ZIP archive
 4. Run these commands:

examples/arduino-external-libs/platformio.ini

@@ -5,7 +5,7 @@
 ;   Library options: dependencies, extra library storages
 ;
 ; Please visit documentation for the other options and examples
-; http://docs.platformio.org/page/projectconf.html
+; https://docs.platformio.org/page/projectconf.html
 
 [env]
 platform = raspberrypi