Question: Python append() vs. += operator on lists, why do these give different results?