This README is the overview; the documents above hold the detail.