Re: [math-fun] Xian-Jin Li's announced proof of Riemann Hypothesis