Move Document Interface to port 80

This simply moves the document interface to port 80, per #777. Makes more sense.