Extended documentation of Herd to describe recent changes.