Some minimal commenting added, more to come.