[IL server] Editor downtime

Hello Wazers,

Today, December 9th at 15PM (Israel time), the Editor will be down for maintenance in the IL environment.
Downtime is expected to last ~1 hour.

The Infrastructure Team