Fixes #4394: Documentation still mentions port 80 for web interface, should be 443
Merge pull request #48 from jooooooon/bug_4394/documentation_still_mentions_port_80_for_web_interface_should_be_443

Fixes #4394: Documentation still mentions port 80 for web interface, sho...