Astrodex problems from 2023-10-12 14:07 to 14:09

On Oct. 12, 2023, 2:07 p.m., stopped responding normally and became unavailable to users.
After 2 minutes, at Oct. 12, 2023, 2:09 p.m., It started behaving normally and we were able to reach it again.

During the downtime, no users reported problems with reaching