websockets should follow the kernel URL (normal behavior is unchanged, only unused configurability is removed)