Thanks for the feedback. I guess there's one action item for Mark below:

On Tue, Feb 18, 2020 at 2:58 PM Michael Sullivan <sully@msully.net> wrote:
Overall I like this PEP and am fine with the decision to postpone
consideration of changes of the arguments with maybe one caveat: I'd
like to be at least reasonably confident that this mechanism can be
*extended* into handling parameter modification. It would be
unfortunate if we end up with a ton of distinct ways to type
decorators.

And with parameter modification I presume you mean that eventually we'll want to be able to describe decorators that add/remove parameters, like the original issue (https://github.com/python/mypy/issues/3157). In particular, I could imaging a decorator that turns printf() into fprintf() and another that does the opposite (sorry for the C analogy).
 
--
--Guido van Rossum (python.org/~guido)