Hey! looks like a PR that was merged into develop is currently causing segmentation faults from time to time. I'm currently investigating and as such the server will have some mixed uptime today. Cheers, Patrick