mirror.jingk.ai will undergo maintenance tomorrow for hardware upgrades on
18/07/2023 (approximately 1000AM +8GMT).
It is not expected to take long, and a failover has been setup on an
alternative virtual machine to minimize impact. However, should there be
unforeseen issues, the mirror may go offline for the next day.