Python: doc: add stuff