The nForum has moved to Zulip: Should the HoTT wiki be merged into the nLab?.