The nForum has moved to Zulip: formal deformation quantization.