Pypi.jetson-ai-lab.dev is down again?

From what I found, your guess is close for the .dev

Looks like it was self-hosted? Feels very xkcd 2347. Wishing the best of luck to the team organizing the rehost at .io.