Reference port 8888, to keep consistency

between installer and docs
Merge branch 'hotfix/8080-vs-8888'

Use port 8888 for all examples