Out of curiosity, how do you handle traffic surges? Do you just have to manually add more servers? Or did you write a script to auto purchases more servers on vast.ai since there isn't any autoscaling feature there (that I am aware of)