[sr-dev] git:5.2:88adabad: websocket: small doc improvement (use module names instead of file names)