Make doc consistent with the default port change in code.

Changed to scripts to use port 8080; have the doc match that.