# What is a WebSocket proxy?