see log.txt for change summary.