QED Proof is paused until further notice. The app, sign-in and new sign-ups are switched off for now.