I wonder if this could create circular downtime: if Codespaces goes down, how can Github engineers work to restore service to Codespaces?

The tool to fix the broken tool is the broken tool.