python_howto_remove_duplicates_1.py: