fixed pin number on the servo pwm output

Author: tguyenn

docs/_sections/_guide-primaries/getting-started/environment-setup/windows-setup.md

@@ -202,7 +202,7 @@ Note that it is **your** responsibility to integrate this code with the controll
 #include "sdkconfig.h"
 #include <Arduino.h>
 
-#define ONBOARD_LED_PIN 2 // defines the word "LED_BUILTIN" as the number 2 for readability
+#define ONBOARD_LED_PIN 2 // defines the word "ONBOARD_LED_PIN" as the number 2 for readability. Note that pin 2 is directly attached to the onboard LED of the microcontroller.
 
 void setup() {
     pinMode(ONBOARD_LED_PIN, OUTPUT); // configures pin 2 to be a GPIO output pin 

docs/_sections/_guide-primaries/sensors-and-actuators/actuators.md

@@ -120,7 +120,7 @@ For the servos in our competition, you can use it to precisely control your mech
 If you're not sure about the ESP32 pinout, then check out [this page!](https://ut-ras.github.io/RobotathonESP32/getting-started/microcontroller-interface)
 
 
-In this competition, we will be using the Arduino servo library to control the servos. The following is an example of how to spin a servo using the ESP32's pin 2 as the PWM output.
+In this competition, we will be using the Arduino servo library to control the servos. The following is an example of how to spin a servo using the ESP32's pin 12 as the PWM output.
 
 ```cpp
 #include "sdkconfig.h"
@@ -131,7 +131,7 @@ In this competition, we will be using the Arduino servo library to control the s
 Servo myServo;
 
 void setup() {
-  myServo.attach(2);
+  myServo.attach(12);
   myServo.write(1750);
 }