Rename specification.websocket to specification.ws and fix typo in scm repository URLs