The nForum has moved to Zulip: Henselian ring.