Mention that UI server repo contains the UI
Merge branch 'master' into gh-pages