Maintenance
| Begin | End | Works | 
|---|---|---|
| Jun. 15th 2022 | Jul. 31st 2022 | Yearly maintenance | 
| Nov. 8th 2021 | Nov. 14th 2021 | Mirror recoating | 
| Jun. 7th 2021 | Jul. 31st 2021 | Yearly maintenance | 
| Jun. 15th 2020 | Jul. 31st 2020 | Yearly maintenance | 
| Jun. 15th 2019 | Jul. 31st 2019 | Yearly maintenance |