There was a Linerva outage from around 12:58PM to 1:26PM today resulting from a crash. We're still investigating the cause. We apologize for the inconvenience. -Tim Abbott for the Linerva maintainers