Example, in https://github.com/python/mypy/pull/17724#issuecomment-2320985436 and other it would have been nice to have been `@` tagged in a comment after that PR was merged as a heads-up. (In this case, specifically for `cwltool`; it isn't a big deal, but fewer surprises are better!)