We experienced an outage on Codex today. The issue is now resolved and Codex is back up. Sorry for the disruption, and thanks for your patience.