Change ports to less-frequently-used ones

Summary: :8080 is very commonly used - fbide grabs it, as does something on rrh's machine.

Reviewed By: @JoelMarcey

Differential Revision: D1539501
Fix some typos in manpages.

Summary: As subject.  Tyops are bad.

Reviewed By: @jwatzman

Differential Revision: D1539805