Bugfixes.

  Default to the redis port.
  Use the specified filename.
  Added --manual.