Aperture user switched to LR4.2: can't find some controls etc.

I normally use Aperture and have recently installed Lightroom on my Mac. Early indications are that the two reasons why I switched - better highlight recovery and noise tools - are fully justified, but I'm struggling with aspects of the user interface.

First, I would like LR to correct for lens aberrations. I'm using an Olympus E-M5 with 12 and 60mm Zuikos and 12-35 and 35-100 Lumix zooms. I appreciate profiles for these aren't installed as standard but should be downloadable. I downloaded and believe I've successfully installed the Lens Profile Downloader tool that I understand should make it possible to download lens profiles from the internet, but I can't work out where the tool is within Lightroom and how to go about it.

Second, how can I correct for a slight tilting horizon? Third, is there a tool for dealing with converging verticals?