[Typing-sig] Re: What are people's feelings about a DefinitelyTyped for Python?