[Python-Dev] usefulness of "extension modules" section in Misc/NEWS