The nForum has moved to Zulip: Hadamard lemma.