Library Manager.

I am missing the manage libraries option on my sketch menu. Arduino 1.7.1 I see lots of documentation about when that feature was first included.. but nothing about why I might not have it, or if the functionality was removed. I was simply looking for an easy way to browse the github libraries and install those that I might be able to use.

Any ideas? I am clearly missing something.

You're using an outdated version of the Arduino IDE. Please install 1.8.0 from http://www.arduino.cc/en/Main/Software.