The source project of this merge request has been removed.
More info for "Red (flashing)"
Previously the only meaningful advice for a flashing red LED was to contact Purism. This change provides a little more info that allows a customer to do some basic troubleshooting before contacting Purism.