Clarify TLS-SRP salts used in the Named WebSockets proxy