mirror.jingk.ai will be going down for infrastructure relocation. Expected downtime will be 1 day, but there may be service outages while we are working to get the new hardware setup. Apologies for any inconvenience.