[Python-Dev] Question: how to extend standard Python library to add new functionalities?