[Python-ideas] Re: Create a @deprecated decorator (annotation)