On August 1st, according to @makenowmeme's tweet, the platform has completed the server upgrade and updated some curve parameters. The upgrade caused about 15 minutes of downtime and has now resumed normal operation.