Changes in this branch have been documented.