[sr-dev] git:5.3:90fb9166: websocket: small doc improvement (use module names instead of file names)