I am wondering where and how you terminate the HTTPS connections for websockets. Can you share some details on that?