The nForum has moved to Zulip: exotic 7-sphere.