There will be about 1h of downtime on 2020-03-02 at 13:00 UTC+1 (change of servers and upgrade to Heptapod 0.20.0 final)

To find the state of this project's repository at the time of any of these versions, check out the tags.