The nForum has moved to Zulip: o-minimal structure.