Update: Service to Dinojr has been restored. The server experienced a brief kernel panic that required a reboot. At this time all services should be back online and functioning. Apologies for the unexpected outage!
We're investigating a network outage on the Dinojr server and will update with more information as we have it.