We experienced a brief downtime in our data processing pipeline of approximately 10 minutes around December 14, 22:30 UTC. We promptly investigated the incident and resolved the problem. Unfortunately, we were not able to record any data during this period. Everything is now operating as normal.