May we discuss optional use of git for version control? I like git because it lets me commit changes when I have no net connection. Anyone who uses it for this course would have to take care to push their local commits back to the main repository whenever they have the chance. -- Kaben