New server deployed last night

Our main sync server died yesterday evening. We haven't yet had time to analyze the failure but it seems likely that increasing load put the machine into a state where one or more kernel bugs were triggered. Rather than spend time trying to fix it, we instead deployed a new much bigger, faster server in its place. This took a little longer but we think it was worth the wait because this morning the service looks very healthy.