doc updates after recent header changes. ought to automate this.