what's the benefit over ``ws.url``? IMO, they should be the same.