Under "Distribution & Support” it would make sense to mention the rather active Zulip community: https://isabelle.zulipchat.com/ My impression is that it’s livelier than StackOverflow. Larry