Haven't heard them myself and I'm quite involved with the community. Some disappointments about core.typed not being what some would have liked, but other than

Haven't heard them myself and I'm quite involved with the community. Some disappointments about core.typed not being what some would have liked, but other than that...