The Proof Companion is temporarily down for updates.