Maintenance shutdown June 23rd

A maintenance shutdown is scheduled for June 23rd from 20:00 to 20:20. Sorry for the inconvenience.