Regression-test machinery is now documented.