Yep, the victim promptly migrated. Another good alternative is fly.io, or even DigitalOcean with Dokku (no free tier here tho, but it can be as cheap as $5/month)