The nForum has moved to Zulip: triangle identities.