I seem to be stuck in a loop.
For example,
arduino.cc/en/Reference/Libraries/Servo
Only leads to a "Download" tab on the top of the page, which leads back to downloading the main application.
So, where are the libraries? I got and installed the AccellStepper library with no problem, but what about the "official" Arduino ones?
Some libraries are inside a "libraries" folder of the application download.
With the exception of the AccelStepper folder, my "Libraries" folder only contains a Readme.txt file. It says:
"For information on installing libraries, see: http://arduino.cc/en/Guide/Libraries"
Well, this is what mine has:

Thus they exist, but where are they online?
In GitHub?
In the download, that's online.
Ok, fine. Found them. Now I have to play with this whole Git nonsense. Where are the *.zip files the website documentation promised?
I don't quite understand your problem. The Servo library is already in place, just use the example code.
The .zip files are for user-supplied libraries. For example I wrote one to do regular expressions:
On that page I mention a link to the .zip file.
Here is one of the Servo examples:
// Controlling a servo position using a potentiometer (variable resistor)
// by Michal Rinott <http://people.interaction-ivrea.it/m.rinott>
#include <Servo.h>
Servo myservo; // create servo object to control a servo
int potpin = 0; // analog pin used to connect the potentiometer
int val; // variable to read the value from the analog pin
void setup()
{
myservo.attach(9); // attaches the servo on pin 9 to the servo object
}
void loop()
{
val = analogRead(potpin); // reads the value of the potentiometer (value between 0 and 1023)
val = map(val, 0, 1023, 0, 179); // scale it to use it with the servo (value between 0 and 180)
myservo.write(val); // sets the servo position according to the scaled value
delay(15); // waits for the servo to get there
}
Don't overthink it. Just compile it and run it. It will find the library, you don't need to install or unzip anything.
Huh! It worked. Maybe I was getting to hung up on my BSD Unix days.
#include <Servo.h>
Servo myServo;
void setup()
{
myServo.attach(2);
myServo.write(90);
}
void loop()
{
delay(100);
}
. . .
Binary sketch size: 2,578 bytes (of a 32,256 byte maximum)