72c9fc2084
Motivation: We should use <a href=....> in the javadoc of WebSocketServer. See [#6172]. Modifications: Use href. Result: Fix link in xref.