<a href="http://mirror.jingk.ai">mirror.jingk.ai</a> will be down for a short period of time on the 26th of November, from 12-6am +8GMT due to network maintenance being performed by my ISP.-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Sent from my iPhone<br></div>