Database Server 14 had a problem.
It stopped responding at around 12:05 AM UTC. I had to issue a manual restart, and at 12:25 AM, it was back online.
So, there was around 20 minutes of downtime for any instance using that server.
Everything looks good now, and I will investigate further to understand what caused the problem.
I am sorry for the trouble this caused.
Thanks 🐘