yeah I know! I was asking because I'm trying to figure out if their backend is written in Python (like using FastAPI for the audio streaming) or if they had to use Go/Rust. Usually handling websockets for voice in Python has way more latency than this, so I wanted to see if any Python devs here knew how they optimized it.