Message 303588 - Python tracker

"change-docs-and-waiters.patch" looks reasonable on the principle, but I doubt it still applies.

Also, we use Github nowadays.  You may still upload patches if you prefer, but pull requests have become the recommended way to submit changes :-)