Document how to add WebSocket extensions.