Tidying while reading

Most of the noise is due to moving from deeply indented nested lists to subheadings.