Update: shell.sonic.net is back online. We are still investigating the root cause of the failure and will take steps to prevent a similar issue once we have a better understanding of what went wrong.
During scheduled maintenance work, shell.sonic.net was brought offline and subsequently crashed. Sonic Operations is working to repair this host and anticipates bringing it back online during business hours Wednesday.
This post will be updated when that work is complete.