remove websocket url

websockets just use the kernel URL

(normal behavior is unchanged, only unused configurability is removed)