Added by Rob Nahf about 10 years ago
v1.3 branch: created from head of v1.2 branch (instead of trunk due to v2.0 incorporated changes in trunk)