remove mention of websocket-server, css-build.sh