Both versions of lecture #0 were updated