Fix bug 837942: Redirect /ports to archive.