Creates a document collection file for the Python standard library